Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues - Megawati, Noorma Yulia (2011)