Holger Giese Stefan Henkler Martin Hirsch Florian Klein Nobody's perfect: interactive synthesis from parametrized real-time scenarios. 67-74 2006 conf/scesm/2006 SCESM http://doi.acm.org/10.1145/1138953.1138967 db/conf/scesm/scesm2006.html#GieseHHK06