Safe timestamps and large-scale modeling | IEEE Conference Publication | IEEE Xplore