STURM, Holger. The true bisimulations for ’since’ and ’until’. Logic and Logical Philosophy. Online. 19 January 2004. Vol. 10, no. 10, p. 173–183. [Accessed 5 July 2024]. DOI 10.12775/LLP.2002.010.