A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models Gregor Engels, Jochen M. K¨ uster and Reiko Heckel Department of Computer Science University of Paderborn D-33095 Paderborn, Germany engels,jkuester,reiko@upb.de Luuk Groenewegen LIACS P.O. Box 9512 Leiden University NL-2300 RA Leiden, The Netherlands luuk@liacs.nl ABSTRACT Categories and Subject Descriptors General Terms Keywords 1. INTRODUCTION