Adelt, P., Koppelmann, B., Müller, W., &; Scheytt, C. (2019). Analyse sicherheitskritischer Software fur RISC-V Prozessoren. MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019).