The SPIN model checker : primer and reference manual / Gerard J. Holzmann. - Holzmann, Gerard J. (Addison-Wesley, 2003)