Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems | Publicación