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

by Gerard J Holzmann