Text this: Bisimulation as a verification and validation technique for message sequence charts