The spin model checker : primer and reference manual - 455693 Holzmann, Gerard J. (Boston : Addison-Wesley Professional, 2004)
06