1. Berry, G.: The Foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, Cambridge (1998)
2. Kleppe, A., Warmer, J.: Unification of Static and Dynamic Semantics of UML: A Study in redefining the Semantics of the UML using pUML Meta Modelling Approach, Klasse Objecten Soest, Netherlands (2003),
http://www.cs.york.ac.uk/puml/mmf/KleppeWarmer.pdf
3. Ober, I.: Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics, Ph.D Thesis at Institut National Polytechnique de Toulouse, Toulouse, France (2004)
4. Object Management Group: MDA Guide (version 1.0.1), OMG document ad/03-06-01 (2003),
http://www.omg.org/cgi-bin/doc?mda-guide
5. Object Management Group: UML for Systems Engineering – Request for Proposal, OMG document ad/03-03-41 (2003),
http://www.omg.org/docs/ad/03-03-41.pdf