Formal techniques for networked and distributed systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 ; proceedings (Springer, 2007)