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

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