Text this: Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling