1. On the unification power of models;Bézivin;Software and System Modeling,2005
2. Model driven engineering;Kent,2002
3. K. Czarnecki, S. Helsen, Classification of model transformation approaches, in: Proceedings of OOPSLA’03 Workshop on Generative Techniques in the Context of Model-Driven Architecture, 2003.
4. OMG, Model Driven Architecture, November 2000. .
5. R. Chapmnan, Correctness by construction: a manifesto for high integrity software, in: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software – vol. 55, 2006, pp. 43–46.