Αποστολή με SMS: Principles of the Spin Model Checker