Text this: Formal methods for control engineering