The book "Formal Modeling and Analysis of Timed Systems" documents the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, which took place in September 2009 in Budapest, Hungary. It includes 18 revised full papers and 4 invited talks, carefully selected from 40 submitted works. The aim of the conference was to promote the investigation of fundamental and practical aspects of timed systems and to bring together researchers from various disciplines who share a common interest in the modeling and analysis of these systems. The topics covered range from theoretical foundations to methods and tools, as well as specific applications in areas where time plays a crucial role.