Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers (Springer, 2005)