Applicable Formal Methods for Safe Industrial Products