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