Rigorous Software Engineering for Service-Oriented Systems | lit.salon