Model-based verification of knowledge-based systems: A case study | Publicación