A systematic study on explicit-state non-zenoness checking for timed automata - Wang, T. (Institute of Electrical and Electronics Engineers Inc., 2016)
10.1109/TSE.2014.2359893