R.: Triggered Message Sequence Charts (2006)

by B Sengupta, Cleaveland
Venue:IEEE Trans. on Software Engineering