Analysing message sequence graph specifications (2009)

by J Chakraborty, D D’Souza, K Narayan Kumar