Invia SMS: Die formale Grundlegung der modernen Architektur