Michael Ebner: UML-based test specification for communication systems: a methodology for the use of MSC and IDL in testing. University of Göttingen, Germany 2004