DOI,IST REx ID,Title of publication
10.1016/j.ic.2004.06.001,4556,Stack size analysis for interrupt-driven programs