Safety Analysis of a Class of Timed Automata Hybrid Systems with SOS - Megawati, Noorma Yulia (2010)