Formale Methoden für eingebettete Systems
Die Informationen sind nur auf Englisch verfügbar, siehe
hier
.