ASDEN: a comprehensive design framework vision for automotive electronic control systems. - Deborah Wilson; Daniel Dayton; R. Todd Hansell (CODES, 2000)