1. Object-oriented programming;Anderson;Microprocessors and Microsystems,1988
2. Real-Time Logics: Complexity and Expressiveness;Alur;In the Proceedings of the Fifth Annual IEEE Symposium on Principles of Programming Languages,1991
3. Software Design for Real-Time Systems;Cooling,1991
4. Timing constraints of real-time systems: Constructs for expressing them, methods of validating them;Dasarathy;IEEE Trans. Software Eng.,1985
5. Multilevel specification of real-time systems;Gabrielian;Communication of the ACM,1991