Verifying cyber-physical systems a path to safe autonomy - Mitra, Sayan (The MIT Press, 2021)
Literaturverzeichnis Seite 271-289