I.: UML2Alloy: A Challenging Model Transformation (2007)

by K Anastasakis, B Bordbar, G Georg, Ray
Venue:In: ACM/IEEE 10 th International Conference on Model Driven Engineering Languages and Systems (MoDELS