1. Kopetz, H.: Real Time Systems, design principles for distributed embedded applications (1997)
2. Maehle, E., Markus, F.J.: Fault tolerant dynamic task scheduling based on dataflow diagram. In: International Paralell and Distributed Processing Symposium (1997)
3. Buttazzo, G.: Hard Real-Time Computing Systems (2000)
4. Barnett, M., Schulte, W.: Spying on components: A runtime verification technique. In: Leavens, G.T., Sitaraman, M., Giannakopoulou, D. (eds.) Workshop on Specification and Verification of Component-Based Systems (2001)
5. Chen, F., Rosu, G.: Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. In: Proceedings of the 2003 Workshop on Runtime Verification (RV 2003), Boulder, Colorado, USA (2003)