Emanuele Mazzi Alberto L. Sangiovanni-Vincentelli Andrea Balluchi Antonio Bicchi Hybrid system reduction. 227-232 2008 CDC http://dx.doi.org/10.1109/CDC.2008.4739350 conf/cdc/2008 db/conf/cdc/cdc2008.html#MazziSBB08