© 2015, Springer-Verlag Berlin Heidelberg. Dependability evaluation is an important, mandatory step in designing and analyzing critical systems. Indeed, in critical systems, it is necessary to take into account not only ...