Patricia Bouyer Franck Cassez Emmanuel Fleury Kim Guldstrand Larsen Optimal Strategies in Priced Timed Game Automata. 148-160 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3328&spage=148 2004 conf/fsttcs/2004 FSTTCS db/conf/fsttcs/fsttcs2004.html#BouyerCFL04