Andersen, J. H. Automatic Synthesis of Real Time Systems. BRICS 1994, 1.