Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich