Consistency checking between use case scenarios and UML sequence diagrams. - Kamila Bartsch; Mike Robey; Jim Ivins; Chiou Peng Lam (IASTED Conf. on Software Engineering, 2004)