Automatic Synthesis of Real Time Systems. - Jørgen H. Andersen; Kåre J. Kristoffersen; Kim Guldstrand Larsen; Jesper Niedermann (ICALP, 1995)