Static control-flow analysis for reverse engineering of UML sequence diagrams. - Atanas Rountev; Olga Volgin; Miriam Reddoch (PASTE, 2005)