A formal model for verification of dynamic consistency of KBSs | Publicación