Creating an accurate portrayal of concurrent executions | IEEE Journals & Magazine | IEEE Xplore