The spin model checker : primer and reference manual - Holzmann, Gerald J., 1951- (Boston, MA : Addison-Wesley, 2004)
Includes bibliographical references and index.
Keywords: Systems engineering -- Mathematical models; Computer programs -- Testing