Co-development of real-time systems and their simulation environments | IEEE Conference Publication | IEEE Xplore