Safety analysis of a Class of Timed Automata Hybrid Systems - Megawati, Noorma Yulia (2009)