Pedro J. Rivera Torres, E. I. Serrano Mercado, Luis Anido Rifón. Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems. J. Intelligent Manufacturing, 29(6):1393-1413, 2018. [doi]
Abstract is missing.