Dependability evaluation of fault tolerant distributed industrial control systems | Publicación