Godskesen, J. C. Synthesizing Distinguishing Formulae for Real Time Systems. BRICS 1994, 1.