author = { Holzmann, Gerard J. },

title = { The spin model checker primer and reference manual },

publisher = {Addison-Wesley},

isbn = {0321228626},

isbn = {9780321773715},

isbn = {0321773713},

keywords = { Systems engineering Mathematical models , Computer programs Testing , Model Checking },

year = {2004},

address = { Boston },

url = { http://slubdd.de/katalog?TN_libero_mab2 }