Spezifikation eines RPC-Speichers mit der Sprache ProFun. - Thomas Firley; Thomas Gehrke; Arend Rensink (FBT, 1998)

Generative Sequence Diagrams with Textual Annotations. - Thomas Gehrke; Thomas Firley (FBT, 1999)

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. - Thomas Firley; Michaela Huhn; Karsten Diethers; Thomas Gehrke; Ursula Goltz (UML, 1999)

Property Dependent Abstraction of Control Structure for Software Verification. - Thomas Firley; Ursula Goltz (FME, 2002)

Computing abstract models for verifying reactive systems. - Thomas Firley (2005)