An Automatic Trace Analysis Tool Generator for Estelle Specifications. - S. Alan Ezust; Gregor von Bochmann (SIGCOMM, 1995)