Jean-François Raskin P. S. Thiagarajan Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings FORMATS Lecture Notes in Computer Science 4763 Springer 2007 978-3-540-75453-4 db/conf/formats/formats2007.html