Istvan David: A foundation for inconsistency management in model-based systems engineering. University of Antwerp, Belgium 2019