Return to Article Details Compatibility Analysis of System Behavior Described by Message Sequence Charts Download Download PDF