Franck Cassez Claude Jard Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings 5215 2008 978-3-540-85777-8 FORMATS Lecture Notes in Computer Science Springer db/conf/formats/formats2008.html