John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim.

Formal Aspects of Computing, Volume 33, Issue 4-5, 547–573. 2021