Analysing Message Sequence Graph Specifications. - Joy Chakraborty; Deepak D'Souza; K. Narayan Kumar (ISoLA (1), 2010)