Systems dependability assessment : benefits of petri net models - Aubry, Jean-François; Brînzei, Nicolae; Mazouni, Mohammed-Habib (Systems and industrial engineering series., 2015)