Techniken zur Modellierung und Verifikation von Echtzeitsystemen by Jürgen Ruf | Menrva Books | MenrvaBooks