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