D. Astels. Refactoring with UML. In Proc. Int'l Conf. extreme Programming and Flexible Processes in Software Engineering, pages 67-70, Alghero, Sardinia, Italy, 2002.
F. Baader, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
M. Boger, T. Sturm, and P. Fragemann. Refactoring browser for UML. In Proc. Int'l Conf. extreme Programming and Flexible Processes in Software Engineering, pages 77-81, Alghero, Sardinia, Italy, 2002.
E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999.
J. Ebert and G. Engels. Specialization of object life cycle definitions. Fachbericht Informatik 19/95, Universität Koblenz-Landau, Fachbereich Informatik, Koblenz, 1995.
G. Engels, J. Hausmann, R. Heckel, and S. Sauer. Testing the consistency of dynamic UML diagrams. In Proc. Sixth Int'l Conf. Integrated Design and Process Technology (IDPT 2002), June 2002. Pasadena, CA, USA.
G. Engels, R. Heckel, J. M. Küster, and L. Groenewegen. Consistency-preserving model evolution through transformations. In J.-M. Jézéquel, H. Hussmann, and S. Cook, editors, UML 2002 - The Unified Modeling Language. Model Engineering, Languages, Concepts, and Tools. 5th International Conference, Dresden, Germany, September/October 2002, Proceedings, volume 2460 of LNCS, pages 212226. Springer, 2002.
M. Fowler. Refactoring: Improwng the Design of Existing Programs. Addison-Wesley, 1999.
Gentleware. Poseidon, http://www.gentleware.com/products/poseidonpe.php3, March 18 2004.
V. Haarslev and R. Möller. RACER system description. In Int'l Joint Conf. Automated Reasoning (IJCAR 2001), 2001.
V. Haarslev, R. Möller, R. Van Der Straeten, and M. Wessel. Extended query facilities for RACER and an application to software-engineering problems. In V. Haarslev and R. Möller, editors, Proc. Int'l Workshop on Description Logic, 2004.
T. Mens, S. Demeyer, and D. Janssens. Formalising behaviour preserving program transformations. In Proc. First Int'l Conf. Graph Transformation, pages 286-301. Springer-Verlag, 2002.
Object Management Group. Unified Modeling Language 2.0 Superstructure Draft Adopted Specification, ptc/03-08-02, February 2004.
I. Porres. Model rfactorings as rule-based update transformations. In P. Stevens, J. Whittle, and G. Booch, editors, Proc. Int'l Conf. UML 2003, volume 2863 of LNCS, pages 159-. Springer-Verlag, 2003.
G. Rasch and H. Wehrheim. Checking consistency in UML diagrams: Classes and state machines. In Formal Methods for Open Object-based Distributed Systems, volume 2884 of LNCS, pages 229-243. Springer-Verlag, 2003.
M. Schrefl and M. Stumptner. Behavior consistent specialization of object life cycles. ACM Trans. Software Engineering and Methodology, 11(1):92-148, January 2002.
Sourceforge. Saxon, http://saxon.sourceforge.net/, March 18 2004.
P. Stevens and J. Tenzer. Modelling recursive calls with UML state diagrams. In M. Pezzé, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2003), volume 2621 of LNCS, pages 135-149. Springer-Verlag, 2003.
M. Stumptner and M. Schrefl. Behavior consistent inheritance in UML. In A. H. F. L. et al. editor, Proc. 19th Int'l Conf. Conceptual Modeling (ER 2000), volume 1920 of LNCS, pages 527-542. Springer-Verlag, 2000.
G. Sunyé, D. Pollet, Y. LeTraon, and J.-M. Jézéquel. Refactoring UML models. In Proc. Int'l Conf. UML 2001, volume 2185 of LNCS, pages 134-138. SpringerVerlag, 2001.
W. van der Aalst. Inheritance of dynamic behaviour in UML. In D. Moldt, editor, Proc. of the Second International Workshop on Modelling of Objects, Components and Agents (MOCA '02), pages 105-120, August 2002.
R. Van Der Straeten, T. Mens, J. Simmonds, and V. Jonckers. Using description logic to maintain consistency between UML models. In P. Stevens, J. Whittle, and G. Booch, editors, Proc. Int'l Conf. UML 2003, volume 2863 of LNCS, pages 326-340. Springer-Verlag, 2003.
