H. Sturm, “The true bisimulations for ’since’ and ’until’”, LLP, vol. 10, no. 10, pp. 173–183, Jan. 2004.