Semantics of Co-simulation Algorithms with Simulator Contracts | IEEE Conference Publication | IEEE Xplore