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