1. Börger, E., Cavarra, A. and Riccobene, E. (2000). Modeling the dynamics of UML State Machines. In Y. Gurevich, R Kutter, M. Odersky, and L. Thiele, editors, Abstract State Machines. Theory and Applications volume 1912 of LNCS, pages 223–241. Springer-Verlag.
2. Broy, M. and Stalen, K. (2001). Specification and Development of Interactive Systems. Springer Verlag.
3. Campo, R., Cavarra, A. and Riccobene, E. (2001). Simulating UML state machines. In E. Börger and U. Glässer, editors, ASM’2001, LNCS. Springer-Verlag. To be published.
4. Derrick, J. and Boiten, E. (2001). Refinement in Zand Object-Z: Foundations and advanced applications. Formal Approaches to Computing and Information Technology. Springer-Verlag.
5. Distefano, D., Katoen, J.-P. and Rensink, A. (2000). On a temporal logic for object-based systems. In Smith and Talcott (Smith and Talcott, 2000 ), pages 305–326.