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