Text this: Applicable Formal Methods for Safe Industrial Products