Il-Yeol Song, Ritu Khare, Yuan An, Margaret Hilsbos: A Multi-level Methodology for Developing UML Sequence Diagrams. ER 2008: 114-127