Co-simulation framework for design of time-triggered cyber physical systems.