Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems | Publicación