Static wcet analysis of real-time task-oriented code in vehicle control systems (2006)

by Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz
Venue:In 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA’06), Paphos