Text this: Principles of the Spin Model Checker