SeDiTeC - Testing Based on Sequence Diagrams. - Falk Fraikin; Thomas Leonhardt (ASE, 2002)