Deborah Wilson Daniel Dayton R. Todd Hansell ASDEN: a comprehensive design framework vision for automotive electronic control systems. 152-156 2000 conf/codes/2000 CODES http://doi.acm.org/10.1145/334012.334045 db/conf/codes/codes2000.html#WilsonDH00