Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon | IEEE Conference Publication | IEEE Xplore