Ein wissenschaftliches Werk aus der siebten FORMATS-Konferenz in Budapest, das neue Methoden zur formalen Modellierung zeitkritischer Systeme vorstellt, theoretische Grundlagen mit praxisnahen Fallstudien verknüpft und aktuelle Forschungsergebnisse beleuchtet.