_id,doi,title 2824,10.1016/j.ic.2013.04.003,"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"