M. Balachander, E. Filiot, and J. Raskin. Taming the Infinities of Concurrency, volume 14660 of Lecture Notes in Computer Science, page 51-71. Springer, (2024)
L. Juhl, K. Larsen, and J. Raskin. Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, page 244-255. Springer, (2013)