The Spin Model Checker door Gerard J. Holzmann