High Level Interpretaton of Execution Traces of Ada Tasks. - Jean-François Caillet; Christian Bonnet; Barbara Raither (ESEC, 1987)

TRICS: A Testing Tool for C. - Barbara Raither; Leon J. Osterweil (ESEC, 1987)

Debugging concurrent software using a general Ada task state transition model. - Christian Bonnet; Jean-François Caillet; Barbara Raither (WADAS, 1987)

A graphical trace analysis tool for Ada real-time embedded systems. - Pascal de Seze; Christian Bonnet; Jean-François Caillet; Barbara Raither (WADAS, 1989)