Sturm, H. 2004. The true bisimulations for ’since’ and ’until’. Logic and Logical Philosophy. 10, 10 (Jan. 2004), 173–183. DOI:https://doi.org/10.12775/LLP.2002.010.