Web Services and Formal Methods - Hutchison, David; Kanade, Takeo; Kittler, Josef; Petit, Jean-Marc (Springer Berlin Heidelberg, 2012)