Ferhat Khendek Stephan Bourduas Daniel Vincent Stepwise Design with Message Sequence Charts. 19-34 2001 conf/forte/2001 FORTE db/conf/forte/forte2001.html#KhendekBV01