A Supervisor of Traffic Light Systems Using Statecharts. - Yi-Sheng Huang; Shung-Shing Lee; Yung-Kuer Liu (ICNSC, 2007)