Martin Fränzle Synthesizing Controllers from Duration Calculus. 168-187 1996 conf/ftrtft/1996 FTRTFT db/conf/ftrtft/ftrtft1996.html#Franzle96