A distributed kernel for virtual time driven applications | IEEE Conference Publication | IEEE Xplore