Mar Marcos Angel P. Del Pobil Sabine Moisan Model-based verification of knowledge-based systems: a case study. 163-167 2000 147 IEE Proceedings - Software 5 db/journals/iee/iee-s147.html#MarcosPM00