J. H. Andersen, “Automatic Synthesis of Real Time Systems”, BRICS, vol. 1, no. 45, Dec. 1994.