[AK03]     C. Atkinson and T. Kühne. Model-driven development: a metamodeling foundation. IEEE Software, 20(5):36–41, 2003.

[AKRS06]    C. Amelunxen, A. Königs, T. Rötschke, and A. Schürr. MOFLON: A standard-compliant metamodeling framework with graph transformations. In A. Rensink and J. Warmer, editors, Model Driven Architecture – Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, volume 4066 of Lecture Notes in Computer Science (LNCS), pages 361–375. Springer, 2006.

[Amb98]    S. Ambler. Process Patterns. Building Large-Scale Systems Using Object Technology. Cambridge University Press, Sigs Books, 1998.

[Bal99]    H. Balzert. Lehrbuch der Objektmodellierung. Analyse und Entwurf. Spektrum Akademischer Verlag. Heidelberg, 1999.

[Bal00]    H. Balzert. Lehrbuch der Software-Technik. Software-Entwicklung, 2. Aufl. Spektrum Akademischer Verlag. Heidelberg, 2000.

[BBB⁺85]    F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner, B. Möller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, and H. Wössner. The Munich Project CIP, Vol 1: The Wide Spectrum Language CIP-L. LNCS 183. Springer-Verlag, 1985.

[BBF09]    G. Blair, N. Bencomo, and R.B. France. Models@run.time. IEEE Computer, 42(10):22–27, 2009.

[BD00]    B. Bruegge and A. Dutoit. Object-Oriented Software Engineering: Conquering Complex and Changing Systems. Prentice Hall, 2000.

[Ber97]    K. Bergner. Spezifikation großer Objektgeflechte mit Komponentendiagrammen. Dissertation. CS Press, München, 1997.

[Béz05]    J. Bézivin. On the Unification Power of Models. Springer International Journal on Software and Systems Modeling (SoSyM), 4(2):171–188, 2005.

[BFG⁺93]    M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language Spectrum, An Informal Introduction, Version 1.0, Part 1. Technical Report TUM-I9312, Technische Universität München, 1993.

[BG98]    K. Beck and E. Gamma. Test-Infected: Programmers Love Writing Tests. JavaReport, July 1998.

[BG99]    K. Beck and E. Gamma. JUnit: A Cook’s Tour. JavaReport, August 1999.

[BGH⁺98]    R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, and W. Schwerin. Exemplary and Complete Object Interaction Descriptions. Computer Standards and Interfaces, 19, 1998.

[BGK99]    M. Broy, R. Grosu, and I. Krüger. Verfahren zum Automatischen Erzeugen eines Programms. Deutsches Patent, 19837871, 1999.

[BMR95]    A. Borgida, J. Mylopoulos, and R. Reiter. On the Frame Problem in Procedure Specifications. IEEE Transactions on Software Engineering, 21(10):785–789, 1995.

[BMR⁺96]    F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. A System of Patterns. Pattern-Oriented Software Architecture. John Wiley & Sons, 1996.

[Böh00]    R. Böhmer. Sichtbare Hand. Über einen der ersten erfolgreichen Versuche, Zulieferware in Deutschland übers Internet zu ersteigern. Wirtschaftswoche, 17.2.(8), 2000.

[Bra84]    W. Brauer. Automatentheorie: eine Einführung in die Technik endlicher Automaten. Teubner, 1984.

[Bra04]    G. Bracha. Generics in the Java Programming Language. Technical report, Sun Microsystems, 2004.

[Bre01]    R. Breu. Objektorientierter Softwareentwurf. Integration mit UML. Springer Verlag, 2001.

[Bro97]    M. Broy. The Specification of System Components by State Transition Diagrams. TUM-I 9729, Technische Universität München, 1997.

[Bro98]    M. Broy. Pragmatic and Formal Specification of System properties by Tables. TUM-I 9802, Technische Universität München, 1998.

[BS01]    M. Broy and K. Stoelen. Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement. Springer Verlag Heidelberg, 2001.

[BW02a]    A. Brucker and B. Wolff. A Proposal for a Formal OCL Semantics in Isabelle/HOL. In TPHOLs 2002, LNCS. Springer-Verlag, Berlin, 2002.

[BW02b]    A. Brucker and B. Wolff. HOL-OCL Experiences, Consequences and Design Choices. In J-M. Jézéquel and H. Hußmann, editors, ≪UML≫2002 – The Unified Modeling Language: Model Engineering, Concepts and Tools, 5th Intl. Conference. Springer, LNCS, 2002.

[CAB⁺94]    D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, 1994.

[CCD01]    C. Crichton, A. Cavarra, and J. Davies. Using UML for Automated Test Generation. http://www.agedis.de/, 2001.

[CEK⁺00]    T. Clark, A. Evans, S. Kent, S. Brodsky, and S. Cook. A Feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modeling Approach. Technical report, pUML Group and IBM, 2000.

[CEK01]    T. Clark, A. Evans, and S. Kent. The Metamodelling Language Calculus: Foundation Semantics for UML. In H. Hußmann, editor, Fundamental Approaches to Software Engineering. 4th International Conference, FASE 2001 (Part of ETAPS 2001) Genova, Italy, April 2-6., pages 17–31, LNCS 2029, Berlin, 2001. Springer Verlag.

[CGR09]    M. Cengarle, H. Grönniger, and B. Rumpe. Variability within Modeling Language Definitions. In Andy Schürr and Bran Selic, editors, Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009., LNCS 5795, pages 670–684. Springer, 2009.

[Che76]    P. Chen. The Entity-Relationship Model – Toward a Unified View on Data. ACM Transactions on database systems, 1(1):9–36, 1976.

[CK01]    M. Cengarle and A. Knapp. A Formal Semantics for OCL 1.4. In M. Gogolla and C. Kobryn, editors, ≪UML≫2001 – The Unified Modeling Language, 4th Intl. Conference, pages 118–133, LNCS 2185. Springer, 2001.

[CKM⁺99]    S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, and A. Wills. Defining UML Family Members Using Prefaces. In C. Mingins and B. Meyer, editors, TOOLS Pacific 32. IEEE Press, 1999.

[CKM⁺02]    S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, and A. Wills. The Amsterdam Manifesto on OCL. In T. Clark and J. Warmer, editors, Object Modeling with the OCL, pages 115–149, LNCS 2263. Springer Verlag, Berlin, 2002.

[Dei00]    H. Deisenroth. Strombeschaffung über Internet-Online Auktionen. In 35. Symposium Einkauf und Logistik des BME am 25. September 2000 in Berlin. BME Bundesverband für Materialwirtschaft, Einkauf und Logistik e.V., 2000.

[DeM79]    T. DeMarco. Structrured analysis and system specification. Prentice Hall, 1979.

[DH01]    W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1):45–80, 2001.

[DL96]    K. Dhara and G. Leavens. Forcing Behavioral Subtyping Through Specification Inheritance. In 18th International Conference on Software Engineering, Berlin, Germany, pages 258–267. IEEE, 1996.

[DR95]    V. Diekert and G. Rozenberg. The Book of Traces. World Scientific, Singapore, 1995.

[DSo01]    D. DSouza. Model-Driven Architecture and Integration. Opportunities and Challenges. Version 1.1. Technical Report OMG Document ad/2001-03-02, Object Management Group, 2001.

[EE97]    J. Ebert and G. Engels. Specialization of Object Life Cycle Definitions. Fachberichte Informatik 19/95, Universität Koblenz-Landau, 1997.

[EEKR99]    H. Ehrig, G. Engels, H. Kreowski, and G. Rozenberg. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools. World Scientific, 1999.

[EH00]    G. Engels and R. Heckel. Graph Transformation and Visual Modeling Techniques. Bulletin of the European Association for Theoretical Computer Science, 71, June 2000.

[EHHS00]    G. Engels, J.-H. Hausmann, R. Heckel, and S. Sauer. Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, ≪UML≫2000 – The Unified Modeling Language, 3th Intl. Conference, pages 323–337, LNCS 1939. Springer, 2000.

[Fow99]    M. Fowler. Refactoring. Improving the Design of Existing Code. Addison-Wesley, 1999.

[Fow00]    M. Fowler. UML Distilled. A Brief Guide to the Standard Object Modeling Language. Second Edition. Addison-Wesley, second edition, 2000.

[FPR01]    M. Fontoura, W. Pree, and B. Rumpe. The UML Profile for Framework Architecture. Addison-Wesley, 2001.

[FR07]    R. France and B. Rumpe. Model-driven Development of Complex Software: A Research Roadmap. In Lionel C. Briand and Alexander L. Wolf, editors, International Conference on Software Engineering, ICSE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, FOSE, pages 37–54. IEEE Computer Society, 2007.

[GGR01]    J. Grabowski, P. Graubman, and E. Rudolph. HyperMSCs with Connectors for Advanced Visual System Modelling and Testing. In R. Reed and J. Reed, editors, SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings. Springer, LNCS 2078, 2001.

[GHG⁺93]    J. Guttag, J. Horning, S. Garland, K. Jones, A. Modet, and J. Wing. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York, 1993.

[GHJV94]    E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1994.

[GHK99]    J. Gil, J. Howse, and S. Kent. Constraint Diagrams: A Step Beyond UML. In Proceedings of TOOLS USA’99. IEEE Computer Society Press, 1999.

[GHK⁺08]    H. Grönniger, J. Hartmann, H. Krahn, S. Kriebel, L. Rothhardt, and B. Rumpe. Modelling Automotive Function Nets with Views for Features, Variants, and Modes. In Embedded Real Time Software, 4th European Congress ERTS, Toulouse, 2008.

[GJSB05]    J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Third Edition. Addison-Wesley, 2005.

[GKRB96]    R. Grosu, C. Klein, B. Rumpe, and M. Broy. State Transition Diagrams. TUM-I 9630, Technische Universität München, 1996.

[Gol84]    A. Goldberg. Smalltalk 80 - The Interactive Programming Environment. Addison Wesley, Reading, MA, 1984.

[GPHS08]    C. Gonzalez-Perez and B. Henderson-Sellers. Metamodelling for Software Engineering. Wiley Publishing, 2008.

[GPR06]    V. Gruhn, D. Pieper, and C. Röttgers. MDA: Effektives Software-Engineering mit UML 2 und Eclipse. Springer Verlag, 2006.

[GRG95]    J. Grabowski, E. Rudolph, and P. Graubman. Message Sequence Charts: Composition Techniques versus OOtechniques. In Proceedings of the 7th. SDL forum, 1995.

[Grö10]    H. Grönniger. Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkte. Aachener Informatik-Berichte, Software Engineering. Shaker Verlag, 2010.

[GRR10]    H. Grönniger, D. Reiß, and B. Rumpe. Towards a Semantics of Activity Diagrams with Semantic Variation Points. In D. Petriu, N. Rouquette, and Ø. Haugen, editors, Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, LNCS 6394, pages 331–345. Springer, 2010.

[Har87]    D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231–274, 1987.

[HBvB⁺94]     W. Hesse, G. Barkow, H. von Braun, H. Kittlaus, and G. Scheschonk. Terminologie in der Softwaretechnik - Ein Begriffssystem für die Analyse und Modellierung von Anwendungssystemen. Teil 1: Begriffssystematik und Grundbegriffe. Informatik Spektrum, 17/1994:39–47, 1994.

[HG97]    D. Harel and E. Gery. Executable Object Modelling with Statecharts. In Proceedings of the 18th International Conference on Software Engineering. IEEE Computer Society Press, 1997.

[HHB02]    R. Hennicker, H. Hußmann, and M. Bidoit. On the Precise Meaning of OCL Constraints. In T. Clark and J. Warmer, editors, Object Modeling with the OCL, pages 69–84, LNCS 2263. Springer Verlag, Berlin, 2002.

[HM03]    D. Harel and R. Marelly. Come, Let’s Play: Scenario-Based Programming Using Lscs and the Play-Engine. Springer, 2003.

[HM08]    D. Harel and S. Maoz. Assert and negate revisited: Modal semantics for uml sequence diagrams. Springer International Journal on Software and Systems Modeling (SoSyM), 7(2):237–252, 2008.

[HR00]    D. Harel and B. Rumpe. Modeling Languages: Syntax, Semantics and All That Stuff. Technical Report MCS00-16, The Weizmann Institute of Science, Rehovot, Israel, 2000.

[HR04]    D. Harel and B. Rumpe. Meaningful modeling: what’s the semantics of semantics? IEEE Computer, 37(10):64–72, 2004.

[HRR98]    F. Huber, A. Rausch, and B. Rumpe. Modeling Dynamic Component Interfaces. In M. Singh, B. Meyer, J. Gil, and R. Mitchell, editors, TOOLS 26, Technology of Object-Oriented Languages and Systems. IEEE Computer Society, 1998.

[HRR99]    F. Huber, O. Rabe, and B. Rumpe. Frisco OEF - Dokument-basiertes Editor Framework. In S. Maffeis, F. Toenniessen, and C. Zeidler, editors, Erfahrungen mit Java. Projekte aus Industrie und Hochschule, pages 333–354. d-punkt Verlag, Heidelberg, 1999.

[HRR10]    A. Haber, J. O. Ringert, and B. Rumpe. Towards Architectural Programming of Embedded Systems. In H. Giese, M. Huhn, J. Phillips, and B. Schätz, editors, Modellbasierte Entwicklung eingebetteter Systeme VI. Informatik-Bericht 2010-01. Technische Universität Braunschweig, 2010.

[HSB99]    B. Henderson-Sellers and F. Barbier. Black and White Diamonds. In ≪UML≫’99 – The Unified Modeling Language. Beyond the Standard, pages LNCS 1723, 550–565, Berlin, 1999. Springer Verlag.

[HU90]    J. Hopcroft and J. Ullman. Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley, 1990.

[Hut07]    G. Hutton. Programming in Haskell. Cambridge University Press, 2007.

[IT99]    ITU-T. Message Seqeuence Chart (MSC), Recommendation Z.120 (11/99). International Telecommunication Union, 1999.

[JJM09]    M.A. Jeusfeld, M. Jarke, and J. Mylopoulos. Metamodeling for Method Engineering. Cooperative Information Systems. The MIT Press, 2009.

[Jon96]    M. P. Jones. An Introduction to Gofer, 1996.

[JUn11]    JUnit. JUnit Testframework Homepage. http://www.junit.org/, 2011.

[KHK⁺03]    N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E. Hubbard, and M. Stern. Formal modeling of c. elegans development: A scenario-based approach. In Corrado Priami, editor, Computational Methods in Systems Biology, volume 2602 of Lecture Notes in Computer Science, pages 4–20. Springer Berlin / Heidelberg, 2003.

[KPR97]    C. Klein, C. Prehofer, and B. Rumpe. Feature Specification and Refinement with State Transition Diagrams. In P. Dini, editor, Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems. IOS-Press, 1997.

[Krü00]    I. Krüger. Distributed System Design with Message Sequence Charts. Doktorarbeit, Technische Universität München, 2000.

[Lan05]    K. Lano. Advanced Systems Design with Java, UML, and MDA. Elsevier, 2005.

[Lan09]    K. Lano. Model-Driven Software Development With UML and Java. Cengage Learning EMEA, 2009.

[Leu95]    S. Leue. Methods and Semantics for Telecommunication Systems Engineering. PhD Thesis, Universität Bern, 1995.

[LW94]    B. Liskov and J. Wing. A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811–1841, November 1994.

[LW99]    B. Liskov and J. Wing. Behavioral subtyping using invariants and constraints. CMU CS-99-156, School of Computer Science, Carnegie Mellon University, 1999.

[MC99]    L. Mandel and M. Cengarle. On the Expressive Power of the Object Constraint Language OCL. In FM’99, World Congress on Formal Methods, LNCS 1708. Springer-Verlag, Berlin, 1999.

[McL01]    B. McLaughlin. Java und XML. Deutsche Ausgabe. O’Reilly, 2001.

[Mey97]    B. Meyer. Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs, NJ, 1997.

[MMPH99]    P. Müller, J. Meyer, and A. Poetzsch-Heffter. Making Executable Interface Specifications More Expressive. In C. Cap, editor, JIT ’99 Java-Informations-Tage 1999, Informatik Aktuell. Springer-Verlag, 1999.

[MPH00]    P. Müller and A. Poetzsch-Heffter. Modular Specification and Verification Techniques for Object-Oriented Software Components. In G. Leavens and M. Sitaraman, editors, Foundations of Component-Based Systems. Cambridge University Press, 2000.

[MTHM97]    R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, 1997.

[Nag79]    M. Nagl. Graph-Grammatiken: Theorie, Implementierung, Anwendungen. Vieweg, Braunschweig, 1979.

[OH98]    R. Orfali and D. Harkey. Client/Server Programming with Java and CORBA. John Wiley & Sons, 1998.

[OMG99]    OMG Analysis and Design Task Force. White Paper of the Profile Mechanism. Version 1.0. Technical Report OMG Document ad/99-04-07, Object Management Group, 1999.

[OMG01a]    OMG. Action Semantics for the UML. Response ot OMG RFP ad/98-11-01. Technical Report OMG Document ad/2001-08-04, Object Management Group, 2001.

[OMG01b]    OMG. Meta Object Facility (MOF) Specification. Technical Report 1.3.1, formal/01-11-02, Object Management Group (OMG), Sept. 2001.

[OMG03]    OMG. MDA(Model Driven Architecture) Guide Verion 1.0.1. Technical Report OMG Document omg/2003-06-01, Object Management Group, 2003.

[OMG04]    OMG. Enterprise Collaboration Architecture(ECA) Specification. Technical Report OMG Document formal/04-02-01, Object Management Group, 2004.

[OMG09]    OMG. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Technical Report OMG Document formal/2009-11-02, Object Management Group, 2009.

[OMG10a]    OMG. OMG Unified Modeling Language: Infrastructure Specification, Superstructure Specification; formal/2010-05-03, formal/2010-05-05. Technical report, Object Management Group (OMG), May 2010.

[OMG10b]    OMG. OMG Unified Modeling Language: Object Constraint Language 2.2; formal/2010-02-01. Technical report, Object Management Group (OMG), February 2010.

[Par93]    D. Parnas. Predicate Logic for Software Engineering. IEEE Transactions on Software Engineering, 19(9), September 1993.

[PH97]    A. Poetzsch-Heffter. Specification and Verification of Object-Oriented Programs. Habilitation Thesis, Technische Universtität München, January 1997.

[PM06]    R. Petrasch and O. Meimberg. Model-Driven Architecture: Eine praxisorientierte Einführung in die MDA. dpunkt.verlag, 2006.

[PR94]    B. Paech and B. Rumpe. A new Concept of Refinement used for Behaviour Modelling with Automata. In FME’94, Formal Methods Europe, Symposium ’94, LNCS 873. Springer-Verlag, Berlin, October 1994.

[PR01]    J. Philipps and B. Rumpe. Roots of Refactoring. In K. Baclavski and H. Kilov, editors, Tenth OOPSLA Workshop on Behavioral Semantics. Tampa Bay, Florida, USA. Northeastern University, 2001.

[Pre95]    W. Pree. Design Patterns for Object-Oriented Software Development. Addison-Wesley, 1995.

[RA01]    G. Reggio and E. Astesiano. A Proposal of a Dynamic Core for UML Metamodelling with MML. Technical Report DISI-TR-01-17, DISI - Universita di Genova, 2001.

[RG02]    M. Richters and M. Gogolla. OCL: Syntax, Semantics and Tools. In T. Clark and J. Warmer, editors, Object Modeling with the OCL, pages 42–68, LNCS 2263. Springer Verlag, Berlin, 2002.

[Ric02]    M. Richters. A Precise Approach to Validating UML Models and OCL Constraints. Doktorarbeit, Universität Braunschweig, 2002.

[RK99]    B. Rumpe and C. Klein. Automata Describing Object Behavior. In Object-Oriented Behavioral Specifications, pages 265–287. Kluwer Academic Publishers, Norwell, Massachusetts, 1999.

[RLNS00]    K. Rustan, M. Leino, G. Nelson, and J. Saxe. ESC/Java user’s manual. Technical Note 2000-02, Compaq Systems Research Center, Palo Alto, CA, 2000.

[Roz99]    G. Rozenberg. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, 1999.

[RQZ07]    C. Rupp, S. Queins, and B. Zengler. UML 2 glasklar. Carl Hanser Verlag, 3rd. edition, 2007.

[Rum96]    B. Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Verlag Wissenschaft, 1996.

[Rum97]    B. Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. In Ausgezeichnete Informatikdissertationen 1997, pages 118–134. Teubner Stuttgart, 1997.

[Rum02a]    B. Rumpe. Online Auctions (lessons learned from strategic E-Business consulting). In Issues & Trends of Information Technology Management in Contemporary Associations, Seattle, pages 682–686, Hershey, London, 2002. Idea Group Publishing.

[Rum02b]    B. Rumpe. ≪Java≫OCL Based on New Presentation of the OCL-Syntax. In T. Clark and J. Warmer, editors, Object Modeling with the OCL, pages 189–212, LNCS 2263. Springer Verlag, Berlin, 2002.

[RWH01]    B. Reus, M. Wirsing, and R. Hennicker. A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Model. In FASE 2001, ETAPS, Genova, LNCS 2029, pages 300–316. Springer Verlag, 2001.

[Sch98a]    S. Schiffer. Visuelle Programmierung. Grundlagen und Einsatzmöglichkeiten. Addison-Wesley, 1998.

[Sch98b]    P. Scholz. Design of Reactive Systems and their Distributed Implementation with Statecharts. Doktorarbeit, Technische Universität München, 1998.

[Sch00]    W. Schwerin. Models of Systems, Work Products, and Notations. In Proceedings of Intl. Workshop on Model Engineering, ECOOP, France. Tech. Report, 2000.

[Sch02]    A. Schürr. A New Type Checking Approach for OCL Version 2.0? In T. Clark and J. Warmer, editors, Object Modeling with the OCL, pages 21–41, LNCS 2263. Springer Verlag, Berlin, 2002.

[SE99a]    S. Sauer and G. Engels. Extending UML for Modeling of Multimedia Applications. In M. Hirakawa and P. Mussio, editors, Proc. 1999 IEEE Symposium on Visual Languages, Tokyo, Japan, pages 80–87. IEEE Computer Society, 1999.

[SE99b]    S. Sauer and G. Engels. UML-basierte Modellierung von Multimedianwendungen. In J. Desel, K. Pohl, and A. Schürr, editors, Modellierung ’99, Karlsruhe, pages 155–170. Teubner, Stuttgart, 1999.

[SGW94]    B. Selic, G. Gulkeson, and P. Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994.

[SHB96]    B. Schätz, H. Hußmann, and M. Broy. Graphical Development of Consistent System Specifications. In FME’96, Industrial Benefit and Advances in Formal Methods, LNCS 1051. Springer-Verlag, Berlin, 1996.

[SHJ⁺94]    G. Saake, P. Hartel, R. Jungclaus, R. Wieringa, and R. Feenstra. Inheritance Conditions for Object Life Cycle Diagramms. In Formale Grundlagen für den Entwurf von Informationssystemen, GI-Workshop, Tutzing 24.-26. Mai 1994 (GI FG 2.5.2 EMISA). Institut für Informatik, Universität Hannover, May 1994.

[SPHP02]    B. Schätz, A. Pretschner, F. Huber, and J. Philipps. Model-Based Development. Technical report TUM-I0204, Technische Universität München, 2002.

[SPTJ01]    G. Sunye, D. Pollet, Y. Le Traon, and J.-M. Jezequel. Refactoring UML Models. In M. Gogolla and C. Kobryn, editors, ≪UML≫2001 – The Unified Modeling Language, 4th Intl. Conference, pages 134–148, LNCS 2185. Springer, 2001.

[Sta73]    H. Stachowiak. Allgemeine Modelltheorie. Springer Verlag Wien, 1973.

[vdB94]    M. von der Beeck. A Comparison of Statecharts Variants. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT’94), volume LNCS 863, pages 128–148. Springer-Verlag, 1994.

[vO01]    D. von Oheimb. Hoare Logic for Java in Isabelle/HOL. Concurrency and Computation: Practice and Experience, 13(13):1173–1214, 2001.

[WK98]    J. Warmer and A. Kleppe. The Object Constraint Language. Addison Wesley, Reading, Mass., 1998.

[WKS10]    I. Weisemöller, F. Klar, and A. Schürr. Development of Tool Extensions with MOFLON. In H. Giese, G. Karsai, E. Lee, B. Rumpe, and B. Schätz, editors, Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007, LNCS 6100, pages 337–343. Springer Verlag, 2010.