J. C. Godskesen, “Synthesizing Distinguishing Formulae for Real Time Systems”, BRICS, vol. 1, no. 48, Dec. 1994.