Puneet Bhateja Paul Gastin Madhavan Mukund K. Narayan Kumar Local Testing of Message Sequence Charts Is Difficult. 76-87 2007 conf/fct/2007 FCT http://dx.doi.org/10.1007/978-3-540-74240-1_8 db/conf/fct/fct2007.html#BhatejaGMK07