OCL UNIV: Expressive UML/OCL Conceptual Schemas for Finite Reasoning | Publicación