Αποστολή με SMS: Teaching and learning formal methods