Modellbasierte Formalisierung Von Anforderungen Fur Eingebettete Systeme Im Automotive-Bereich door Andreas Fleischmann