Jan Gustafsson, Andreas Ermedahl, Björn Lisper. Towards a Flow Analysis for Embedded System C Programs. In 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA. pages 287-300, IEEE Computer Society, 2005. [doi]
Abstract is missing.