Becker, Pfeiffer, 2007. Automated Semantic Analyses of Conceptual Models, in: .