A tool for drawing sequence charts