Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich - Fleischmann, Andreas (GRIN-Verl., 2008)