James Baxter, Pedro Ribeiro, Ana Cavalcanti: Sound reasoning in tock-CSP. Acta Informatica 59(1): 125-162 (2022)