Stepwise Design with Message Sequence Charts.

Ferhat Khendek, Stephan Bourduas, Daniel Vincent

Browse the full FORTE paper archive.