Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers - Carbone, Marco; Petit, Jean-Marc (Springer Berlin Heidelberg, 2012)