SPEAK: Spezifikationsbasierte HW/SW-Entwurfsmethodiken für hochkomplexe Anwendungen der Automobil- und Kommunikationstechnik