Henning Dierks Synthesizing controllers from real-time specifications. 33-43 1999 18 IEEE Trans. on CAD of Integrated Circuits and Systems 1 http://doi.ieeecomputersociety.org/10.1109/43.739057 db/journals/tcad/tcad18.html#Dierks99