Keywords: Early Checking; Aspect Orientation; Modelica Model Inspection
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools
 Johan Akesson. Languages and Tools for Optimization of Large-Scale Systems. PhD thesis; Department of Automatic Control; Lund Institute of Technology; Sweden; November 2007.
 The Modelica Association. The Modelica Language Specification 3.0. http://www.modelica.org; September 2007. http://www.modelica.org.
 Franz Baader; Diego Calvanese; Deborah L. McGuiness; Daniele Nardi; and Peter F. Patel-Schneider. The Description Logic Handbook: Theory; Implementation; and Applications. Cambridge University Press; 2003.
 Alexander Borgida. Description Logics in Data Management. In IEEE Transactions on Knowledge and Data Engineering; volume 7; pages 671–682; 1995.
 David Broman; Kaj Nyström; and Peter Fritzson. Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta. In Proceedings of the Fifth International Conference on Generative Programming and Component Engineering (GPCE’06); pages 151–160; Portland; Oregon; USA; 2006. ACM Press.
 Peter Bunus and Peter Fritzson. Automated Static Analysis of Equation-Based Components. SIMULATION; 80(7- 8):321–345; July-August 2004.
 Tal Cohen; Joseph Gil; and Italy Maman. JTL - The Java Tools Language. In OOPSLA’06: Companion to the 20th annual ACM SIGPLAN Conference on Object-Oriented Programming; Systems; Languages; and Applications; 2006  Roger F. Crew. ASTLOG: A Language for Examinging Abstract Syntax Trees. In Proceedings of the USENIX Conference on Domain-Specific Languages; pages 229– 242; 1997.
 P. Deransart; A. Ed-Dbali; and L. Ceravoni. Prolog: The Standard. Springer-Verlag; NewYork; 1996.
 R. Filman and D. Friedman. Aspect-Oriented Programming is Quantification and Obliviousness; 2000.
 P. Fritzson; P. Aronsson; A. Pop; H. Lundvall; K. Nystrom; L. Saldamli; D. Broman; and A. Sandholm. OpenModelica - A Free Open-Source Environment for System Modeling; Simulation; and Teaching. In IEEE International Symposium on Computer-Aided Control Systems Design; pages 1588–1595; October 2006.
 Peter Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. IEEE Press; 2004.
 J. Järvi; J. Willcock; and A. Lumsdaine. Associated Types and Constrain Propagation for Mainstream Object-Oriented Generics. In Proceedings of the 20th OOPSLA; pages 327– 355. Springer Verlag; June 2001.
 Gregor Kiczales; Erik Hilsdale; Jim Hugunin; Mik Kersten; Jeffrey Palm; and William G. Griswold. An Overview of AspectJ. Lecture Notes in Computer Science; 2027:327– 355; 2001.
 Gregor Kiczales; John Lamping; Anurag Mendhekar; Chris Maeda; Cristina Videira Lopes; Jean-Marc Loingtier; and John Irwin. Aspect-Oriented Programming. In Proceedings of the European Conference on Object- Oriented Programming (ECOOP); Finland. Springer- Verlag; June 1997.
 Clint Morgan; Kris De Volder; and Eric Wohlstadter. A Static Aspect Language for Checking Design Rules. In AOSD ’07: Proceedings of the 6th International Conference on Aspect-Oriented Software Development; pages 63–72; New York; NY; USA; 2007. ACM.
 Hans Olsson; Martin Otter; Sven Erik Mattsson; and Hilding Elmqvist. Balanced Models in Modelica 3.0 for Increased Model Quality. In Prof. Dr. B. Bachmann; editor; Proceedings of the 6th International Modelica nConference; volume 1; University of Applied Sciences Germany; Bielefeld; 2008. The Modelica Association.
 Terence Parr. The Definitive ANTLR Reference Guide: Building Domain-specific Languages. Pragmatic Programmers; 2007.
 Adrian Pop and Peter Fritzson. Debugging Natural Semantics Specifications. In AADEBUG’05: Proceedings of the sixth international symposium on Automated analysisdriven debugging; pages 77–82; New York; NY; USA; 2005. ACM.
 Adrian Pop and Peter Fritzson. MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language. In Joint Modular Languages Conference (JMLC2006); Jesus College; Oxford; England; September 2006.
 Michael Tiller. Introduction to Physical Modeling with Modelica. Kluwer Academic Publishers; 2001.
 Michael Tiller. Parsing and Semantics Analysis of Modelica Code for Non-Simulation Applications. In Peter Fritzson; editor; Proceedings of the 3rd International Modelica Conference; volume 1; pages 411–418; Linköping; November 2003.
 Kris De Volder and Theo D’Hondt. Aspect-Oriented Logic Meta Programming. In Reflection ’99: Proceedings of the Second International Conference on Meta-Level Architectures and Reflection; pages 250–272; London; UK; 1999. Springer-Verlag.