_id,doi,title
4556,10.1016/j.ic.2004.06.001,Stack size analysis for interrupt-driven programs