Sturm, H. “The True Bisimulations for ’since’ and ’until’”. Logic and Logical Philosophy, vol. 10, no. 10, Jan. 2004, pp. 173–183, doi:10.12775/LLP.2002.010.