J. C. Godskesen

J. C. Godskesen and K. G. Larsen. Synthesizing Distinguishing Formulae for Real Time Systems. Nordic Journal of Computing, 2(3):338-357, Fall 1995. Abstract, References, etc.