P. Cousot and R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixed points, POPL

E. M. Clarke, O. Grumberg, and D. E. , Long: Model checking and abstraction, ACM Trans. Program. Lang. Syst, 1994.

M. Minnock, C-Phrase: A system for buidling robust natural kanguage interfaces to databases, DKE, 2010.

P. Johnson and M. Ekstedt, Enterprise Architecture: Models an analysis for information systems decision making, 2007.

U. Franke, W. R. Flores, and P. Johnson, Enterprise Architecture dependency analysis using fault trees and Bayesian networks, 2009.

U. Franke, P. Johnson, E. Ericsson, W. R. Flores, and K. , Zhu: Enterprise Architecture analysis using Fault Trees and MODAF, CAiSE Forum, 2009.

S. Ghilardi, C. Lutz, and F. , Wolter: Did I damage my Ontology? A case for conservatve extensions in description logics, 2006.

M. Cohen, Semantics for Mapping Relations in SKOS, 2013.
DOI : 10.1007/978-3-642-39666-3_19