Automatic Synthesis of Real Time Systems (1994)

by Larsen, Jesper Niedermann