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