1. Sastry, S., et al.: Modeling and design of embedded software. Proceedings of the IEEE 91(1) (2003)
2. Lee, E.A.: What’s ahead for embedded software. IEEE Computer, 18–26 (2000)
3. Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (2000)
4. Buttazo, G.: Hard real-time computing systems: Predictable scheduling algorithms and applications. Kluwer Academic Publishers, Dordrecht (1997)
5. Shin, I., Lee, I.: Compsitional real-time scheduling framework. In: Proceedings of the 25th IEEE Real-Time Systems Symposium, IEEE Computer Society Press, Los Alamitos (2004)