Huo Yan Chen, Chuang Li, T. H. Tse: Transformation of UML interaction diagrams into contract specifications for object-oriented testing. SMC 2007: 1298-1303