Systems dependability assessment : modeling with graphs and finite state automata - Aubry, Jean-François; Brînzei, Nicolae (ISTE ; Wiley, 2015)