J. C. Godskesen, “Synthesizing Distinguishing Formulae for Real Time Systems”, BRICS, bd. 1, nr. 48, dec. 1994.