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