This volume contains the proceedings of FORMATS 2005, the Third Inter- tional Conference on Formal Modelling and Analysis of Timed Systems, held in Uppsala, Sweden, September 26 28, 2005, in conjunction with ARTIST2 s- mer school, September 29 October 2, 2005, on Component Modelling, Testing and Veri?cation, and Static Analysis of Embedded Systems. FORMATS is an annual workshop series initiated in 2003. It is dedicated to the advancement of formaltheories, techniquesandsoftwaretoolsformodellingandanalysisoftimed systems. FORMATS 2003 wasassociatedto CONCUR 2003(International C- ference on...