Simon Pickin, Jean-Marc Jézéquel: Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. IFM 2004: 481-500