1. Meyer, B.: Applying “design by contract”. IEEE Computer 25(10), 40–51 (1992)
2. Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)
3. Ermel, C., Bardohl, R.: Scenario animation for visual behavior models: A generic approach. Software and Systems Modeling (SoSym) 3(2), 164–177 (2004)
4. Grunske, L., Geiger, L., Zündorf, A., van Eetvelde, N., van Gorp, P., Varró, D.: Model-driven Software Development - Volume II of Research and Practice in Software Engineering. In: Using Graph Transformation for Practical Model Driven Software Engineering. Springer, Heidelberg (2005)
5. OMG. Revised submission for MOF 2.0, Query/Views/Transformations, version 1.8. OMG Document ad/04-10-11 (December 2004)