Sturm, H. The True Bisimulations for ’since’ and ’until’. LLP 2004, 10, 173–183.