From UML to Alloy and back again.

Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar

Browse the full MODELS paper archive.