On the use of probabilistic model-checking for the verification of prognostics applications | Publicación