Αποστολή με SMS: Advances in temporal logic /