Map-TBS: Map process enactment traces and analysis | IEEE Conference Publication | IEEE Xplore