Odd Ivar Lindland John Krogstie Validating Conceptual Models by Transformational Prototyping 165-183 conf/caise/93 CAiSE 1993 db/conf/caise/caise93.html#LindlandK93 http://dx.doi.org/10.1007/3-540-56777-1_9