This resource should appear in a popup window.If it didn't, click here: An Introduction to the Model Checker Spin