J. H. Andersen, “Automatic Synthesis of Real Time Systems”, BRICS, bd. 1, nr. 45, dec. 1994.