Automated analysis of integrity constraints in multi-level models | Publicación