Franck Cassez Jan Jakob Jessen Kim Guldstrand Larsen Jean-François Raskin Pierre-Alain Reynier Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. 90-104 2009 HSCC http://dx.doi.org/10.1007/978-3-642-00602-9_7 conf/hybrid/2009 db/conf/hybrid/hscc2009.html#CassezJLRR09