Revisiting Safe Realizability of Message Sequence Charts Specifications | IEEE Conference Publication | IEEE Xplore