Thomas Brihaye Véronique Bruyère Jean-François Raskin On Optimal Timed Strategies. 49-64 2005 conf/formats/2005 FORMATS http://dx.doi.org/10.1007/11603009_5 db/conf/formats/formats2005.html#BrihayeBR05