Sturm H. The true bisimulations for ’since’ and ’until’. LLP [Internet]. 2004 Jan. 19 [cited 2024 Jul. 5];10(10):173–183. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2002.010