John Derrick Jüri Vain Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings FORTE Lecture Notes in Computer Science 4574 Springer 2007 978-3-540-73195-5 db/conf/forte/forte2007.html