Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems · Study