A software tool to display message sequence charts