Pošljite SMS: Safety analysis of a Class of Timed Automata Hybrid Systems