Αποστολή με SMS: Advances in Verification of Time Petri Nets and Timed Automata