A CIM-Based Methodology for External Model Update of Real-time System Models | IEEE Conference Publication | IEEE Xplore