Αποστολή με SMS: Rigorous Software Engineering for Service-Oriented Systems