Race-free scenarios of message sequence charts | IEEE Conference Publication | IEEE Xplore