Αποστολή με SMS: Formal Modeling and Analysis of Timed Systems