Executable Requirements Specifications Using Triggered Message Sequence Charts.

Bikram Sengupta, Rance Cleaveland

Browse the full ICDCIT paper archive.