1. S. Byhlin, A. Ermedahl, J. Gustafsson, B. Lisper, Applying static WCET analysis to automotive communication software, in: Proceedings of 17th Euromicro Conference of Real-Time Systems (ECRTS’05), July 2005, pp. 249–258.
2. D. Sandell, A. Ermedahl, J. Gustafsson, B. Lisper, Static timing analysis of real-time operating system code, in: Proceedings of First International Symposium on Leveraging Applications of Formal Methods (ISOLA’04), October 2004, pp. 126–133.
3. M. Carlsson, J. Engblom, A. Ermedahl, J. Lindblad, B. Lisper, Worst-case execution time analysis of disable interrupt regions in a commercial real-time operating system, in: Proceedings of Second International Workshop on Real-Time Tools, 2002.
4. Component-based software engineering for embedded systems;Crnkovic,2005
5. Component-Based Software Engineering: Putting the Pieces Together;Heineman,2001