URL: http://dx.doi.org/10.1007/s10270-013-0350-8
Authors: Rull, Guillem / Farré, Carles / Queralt, Anna / Teniente, Ernest / Urpí, Toni
Publication: Software & Systems Modeling
Pagination: 1-28
Keywords: Automated reasoning, Conceptual modeling, Explanation, OCL, UML, Validation