Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert | Publicación