From UML to Alloy and back again. - Seyyed Madasar Ali Shah; Kyriakos Anastasakis; Behzad Bordbar (MoDeVVa@MoDELS, 2009)

Model transformation dependability evaluation by the automated creation of model generators. - Seyyed Madasar Ali Shah (2012)