Trace Analysis for Conformance and Arbitration Testing. - Gregor von Bochmann; Rachida Dssouli; J. R. Zhao (IEEE Trans. Software Eng., 1989)