Ein kompaktes Nachschlagewerk, das die neuesten formalen Ansätze zur Modellierung von Echtzeit‑ und fehlertoleranten Systemen aus internationalen Konferenzen zusammenführt und praxisnahe Analysewerkzeuge für sichere Softwarearchitekturen vorstellt.