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