Depiction and playout of multi-threaded program executions | IEEE Conference Publication | IEEE Xplore