Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers - Maurice H. Beek, Niels Lohmann ((Lecture Notes in Computer Science))