Das Buch "Formal Modeling and Analysis of Timed Systems" dokumentiert die refereed Proceedings der 16. Internationalen Konferenz über formale Modellierung und Analyse zeitlicher Systeme (FORMATS 2018), die im September 2018 in Peking, China, stattfand. In diesem Band sind 14 sorgfältig ausgewählte und begutachtete Beiträge enthalten, die aus 29 eingereichten Arbeiten hervorgegangen sind. Die Beiträge sind in verschiedene thematische Abschnitte gegliedert, darunter eingeladene Beiträge, temporale Logiken, verteilte zeitliche Systeme, Verhaltensäquivalenzen, zeitliche Wörter und kontinuierliche dynamische Systeme. Das Ziel der FORMATS-Konferenz ist es, das Studium der grundlegenden und praktischen Aspekte zeitlicher Systeme zu fördern und Forscher aus verschiedenen Disziplinen zusammenzubringen, die gemeinsame Interessen an der Modellierung und Analyse zeitlicher Systeme sowie an hybriden Systemen haben.