Andersen, J. H. (1994). Automatic Synthesis of Real Time Systems. BRICS Report Series, 1(45). https://doi.org/10.7146/brics.v1i45.21597