Event scheduling of timed automata using dioid algebra - - 8th International Conference on Control and Automation (IEEE 2010) doi 2010-06 Article type Conference