A Framework for Inconsistency Detection Across Heterogeneous Models in Industry 4.0 | IEEE Conference Publication | IEEE Xplore