Verification of complex dynamic data tree with mu-calculus | Publicación