Thomas Firley Michaela Huhn Karsten Diethers Thomas Gehrke Ursula Goltz Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. 645-660 1999 conf/uml/1999 UML db/conf/uml/uml1999.html#FirleyHDGG99