Stefano Antoniazzi Alessandro Balboni William Fornaciari Donatella Sciuto A methodology for control-dominated systems codesign. 2-9 1994 conf/codes/1994 CODES http://doi.acm.org/10.1145/947185.947187 db/conf/codes/codes1994.html#AntoniazziBFS94