Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing - Martin Wirsing, Matthias Hölzl ((Lecture Notes in Computer Science))