1. Chapman, R.: Correctness by construction: a manifesto for high integrity software. In: Proceedings of the 10th Australian workshop on Safety critical Systems and Software, vol. 55. Sydney, Australia
2. Czarnecki, K., Eisenecker, U.W.: Generative programming: Methods, Tools and Applications. Addison-Wesley, Reading (2000)
3. OMG: MDA Guide Version 1.0.1, available at www.omg.org/mda
4. Ward, M.: Language Oriented Programming. Software - Concepts and Tools 15, 147–161 (1994)
5. Lecture Notes in Computer Science;V. Cechticky,2006