Theoretical and Practical Aspects of Spin Model Checking door R. Gerth, Dennis Dams & M. Massinek