Text this: Rigorous Software Engineering for Service-Oriented Systems