Co-simulation framework for design of time-triggered cyber physical systems | IEEE Conference Publication | IEEE Xplore