SPIN Model Checking and Software Verification 1885 - Klaus Havelund, John Penix, Willem Visser - książka wyd. 2000