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