Jörg Becker Daniel Pfeiffer Automated Semantic Analyses of Conceptual Models. 2007 conf/caise/2007fo CAiSE Forum http://www.ceur-ws.org/Vol-247/FORUM_17.pdf db/conf/caise/caisefo2007.html#BeckerP07