Uml2alloy: A challenging model transformation. (2007)

by Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray
Venue:In Model Driven Engineering Languages and Systems,