An efficient minimum-process non-intrusive snapshot algorithm for vehicular ad hoc networks | IEEE Conference Publication | IEEE Xplore