Title: Modellbasierte Testfallermittlung Fur Eingebettete Systeme in Sicherheitskritischen Anwendungen