Applicable Formal Methods for Safe Industrial Products | lit.salon