Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings - Paul Pettersson, Wang Yi ((Lecture Notes in Computer Science))