Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing - Wirsing, Martin; Hölzl, Matthias (Springer Berlin Heidelberg : Imprint: Springer, 2011)