Antoni Olivé Maria-Ribera Sancho A Method for Explaining the Behaviour of Conceptual Models 12-25 conf/caise/95 CAiSE 1995 db/conf/caise/caise95.html#OliveS95 http://dx.doi.org/10.1007/3-540-59498-1_234