Model Checking for Managers. - Wil Janssen; Radu Mateescu 001; Sjouke Mauw; Peter Fennema; Petra van der Stappen (SPIN, 1999)

Tool Support. - Hugo W. L. ter Doest; Diederik van Leeuwen; Peter Fennema; Leon van der Torre; Andries W. Stam; Joost Jacob; Farhad Arbab (Enterprise Architecture at Work, 4th ed., 2017)