Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings - Derrick, John; Vain, Jüri (Springer Berlin Heidelberg : Imprint: Springer, 2007)