Text this: Formal techniques for distributed objects, components, and systems