"Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts."

Bikram Sengupta, Rance Cleaveland (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics