Supporting the monitoring of the verification process of critical systems'software | Publicación