The Spin Model Checker by Gerard J. Holzmann