Marius Kloetzer Calin Belta A Fully Automated Framework for Control of Linear Systems from LTL Specifications. 333-347 2006 conf/hybrid/2006 HSCC http://dx.doi.org/10.1007/11730637_26 db/conf/hybrid/hscc2006.html#KloetzerB06