Ufuk Celikkan;Rance Cleaveland
-;-
Synthesizing distinguishing formulae for real time systems
Nordic Journal of Computing