Das Buch "Formal Modeling and Analysis of Timed Systems" dokumentiert die Proceedings der fünften Internationalen Konferenz zu formalen Modellen und Analysen zeitgesteuerter Systeme (FORMATS 2007). Diese Konferenz vereinte Forscher aus verschiedenen Disziplinen, die sich mit den zeitlichen Aspekten von Computersystemen befassen. Der Band behandelt sowohl grundlegende als auch praktische Aspekte zeitgesteuerter Systeme und ermutigt zur Berichterstattung über neue Anwendungsbereiche. Neben den Konferenzbeiträgen wurden auch eingeladene Vorträge präsentiert, die verschiedene Facetten dieses breiten Forschungsgebiets beleuchten. FORMATS 2007 fand im Rahmen der Embedded Systems Week in Salzburg statt, einem Event, das zahlreiche Konferenzen, Tutorials und Workshops zu verschiedenen Themen der Embedded-System-Forschung und -Entwicklung umfasste.