Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems.
Pierre-Yves PiriouJean-Marc FaureJean-Jacques LesagePublished in: Reliab. Eng. Syst. Saf. (2017)