Message Sequence Charts for Assertion-based Verification

Patricia S. Lee and Ian G. Harris, “Message Sequence Charts for Assertion-based Verification,” TR 13-13. Posted October 31, 2013.  download pdf.