Text this: Formal Methods in System Design