Supplementary material for the paper "Managing Inter-Model Inconsistencies in Model-based Systems Engineering: Application in Automated Production Systems Engineering", submitted to JSS