Specification and design of electronic control units. - Jürgen Bortolazzi; Thomas Hirth; Thomas Raith (EURO-DAC, 1996)