Das Buch "Formal Modeling and Analysis of Timed Systems" dokumentiert die refereed Proceedings der 7. Internationalen Konferenz über formale Modellierung und Analyse zeitlicher Systeme, die im September 2009 in Budapest, Ungarn, stattfand. Es umfasst 18 überarbeitete Volltexte sowie 4 eingeladene Vorträge, die aus 40 eingereichten Arbeiten sorgfältig ausgewählt wurden. Ziel der Konferenz war es, die Untersuchung grundlegender und praktischer Aspekte zeitlicher Systeme zu fördern und Forscher aus verschiedenen Disziplinen zusammenzubringen, die ein gemeinsames Interesse an der Modellierung und Analyse dieser Systeme teilen. Die behandelten Themen reichen von den theoretischen Grundlagen über Methoden und Werkzeuge bis hin zu spezifischen Anwendungen in Bereichen, in denen Zeit eine entscheidende Rolle spielt.