@booklet {SousaCd:06, title = {Technical Manual for the Trace Visualiser}, number = {IVY-TR-5-05}, year = {2006}, month = {October}, publisher = {HASLab/INESC TEC \& University of Minho}, type = {IVY Technical Report}, author = {N. Sousa and Jos{\'e} Creissac Campos} }