"Static control-flow analysis for reverse engineering of UML sequence diagrams."

Atanas Rountev, Olga Volgin, Miriam Reddoch (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics