Verification and validation of knowledge-based systems with formal specifications | Publicación