1. G. Booch. Object Oriented Design. The Benjamin/Cummings Publishing Company, 1991.
2. G. Booch, J. Rumbaugh, and 1. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 0.9, 1996.
3. M. Broy, R. Grosu, and C. Klein. Reconciling real-time with asynchronous message passing. Will appear in FME'97 Proceedings, September 1997.
4. R. Grosu, C. Klein, B. Rumpe, and M. Broy. State Transition Diagrams. Technical Report TUM-I9606, Technische Universität München, June 1996.
5. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen.Object-Oriented Modeling and Design. Prentice Hall, 1991.