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