Model-driven network emulation with virtual time machine | IEEE Conference Publication | IEEE Xplore