Text this: Formal Techniques for Safety-Critical Systems