1. Lecture Notes in Computer Science;O Alam,2013
2. Lecture Notes in Computer Science;A Benelallam,2014
3. Caillaud, B., Delahaye, B., Larsen, K.G., Legay, A., Pedersen, M.L., Wasowski, A.: Constraint markov chains. Theor. Comput. Sci. 412(34), 4373–4404 (2011)
4. Meyer, B.: Eiffel: The Language. Prentice-Hall, Upper Saddle River (1991)
5. Bézivin, J., Brunelière, H., Cabot, J., Doux, G., Jouault, F., Sottet, J.-S., et al.: Model driven tool interoperability in practice. In: Proceedings of the 3rd Workshop on Model-Driven Tool & Process Integration (co-located with ECMFA 2010), pp. 62–72 (2010)