Chien-An Chen Sara Kalvala Jane Sinclair Race Conditions in Message Sequence Charts. 195-211 2005 conf/aplas/2005 APLAS http://dx.doi.org/10.1007/11575467_14 db/conf/aplas/aplas2005.html#ChenKS05