DOI,IST REx ID,Research Group,Title of publication
10.1016/j.ic.2013.04.003,2824,KrCh,"Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems"