Title: Verfahren zur systemspezifikation Entwurf und Validierung von eingebetteten Echtzeitsystemen im Kfz-bereich