Cyrille Artho Klaus Havelund Shinichi Honiden Visualization of Concurrent Program Executions. 541-546 2007 conf/compsac/2007 COMPSAC (2) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.236 db/conf/compsac/compsac2007-2.html#ArthoHH07