ANDERSEN, J. Automatic Synthesis of Real Time Systems. BRICS Report Series, v. 1, n. 45, 11 Dec. 1994.