1. Anastasakis, K., Bordbar, B., Küster, J.: Analysis of model transformations via alloy. In: Baudry, B., Faivre, A., Ghosh, S., Pretschner, A. (eds.) Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN, USA, pp. 47–56. Springer, Heidelberg (October 2007)
2. Asztalos, M., Lengyel, L., Levendovszky, T.: Towards automated, formal verification of model transformations. In: ICST 2010: Proceedings of the 3rd International Conference on Software Testing, Verification and Validation, pp. 15–24. IEEE Computer Society, Los Alamitos (2010)
3. Barroca, B., Lucio, L., Amaral, V., Felix, R., Sousa, V.: A visual language for model transformations. Technical report, UNL-DI-2-2010, University Nova de Lisboa, Portugal (2010),
http://solar.di.fct.unl.pt/twiki/pub/BATICCCS/ModelTransformationPapers/vltechrep.pdf
4. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Computers 35(8), 677–691 (1986)
5. Lecture Notes in Computer Science;J.-R. Falleri,2008