Soheil Samii Petru Eles Zebo Peng Anton Cervin Quality-driven synthesis of embedded multi-mode control systems. 864-869 2009 DAC http://doi.acm.org/10.1145/1629911.1630131 conf/dac/2009 db/conf/dac/dac2009.html#SamiiEPC09