Anca Muscholl Doron Peled Deciding Properties of Message Sequence Charts. 43-65 2003 conf/dagstuhl/2003scenarios Scenarios: Models, Transformations and Tools http://dx.doi.org/10.1007/11495628_3 db/conf/dagstuhl/scenarios2003.html#MuschollP03