Text this: Formal Methods for Software Architectures