Verification and validation of knowledge-based program supervision systems | Publicación