Optimistic distributed timed cosimulation based on thread simulation model | IEEE Conference Publication | IEEE Xplore