A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata | IEEE Journals & Magazine | IEEE Xplore