Consistent Behaviour Representation in Activity and Sequence Diagrams. - Dorina C. Petriu; Yimei Sun (UML, 2000)