The SPIN Model Checker: Primer and Reference Manual (2003)

by G J Holzmann