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