Systems dependability assessment : modeling with graphs and finite state automata - Aubry, Jean-Francois; Brinzei, Nicolae (Risk management and dependability series., 2015)