White Paper Highlights the Use of Logic Solvers in Overpressure Protection Systems