Title: Applicable Formal Methods for Safe Industrial Products