Applications and Extensions of Alloy: Past, Present, and Future
Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph Near
Mathematical Structures in Computer Science, vol. 23 (2013), pp. 915-933