Ontology-based Synchronization of Automated Production Systems and Their Simulation Models | IEEE Conference Publication | IEEE Xplore