Αποστολή με SMS: Verifying temporal properties of systems