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