Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo: Simulation under Arbitrary Temporal Logic Constraints. In proceedings of the 5th International Workshop on Formal Integrated Development Environment, pages 63-69, volume 310 of EPTCS. 2019.


Daniel Jackson: Alloy: a language and tool for exploring software designs. Communincations of the ACM 62(9): 66-76. ACM, 2019.


Leslie Lamport: The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems 16(3): 872-923. ACM, 1994.


Jonathan Edwards, Daniel Jackson, Emina Torlak: A type system for object models. In proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 189-199. ACM, 2004.


Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson: Automatic Visualization of Relational Logic Models. In proceedings of the Workshop on the Layout of (Software) Engineering Diagrams, volume 7 of ECEASST. 2007.