E. Olderog, and M. Schwammberger. Models, Algorithms, Logics and Tools, volume 10460 of Lecture Notes in Computer Science, page 640-660. Springer, (2017)
T. Petrov, V. Durcek, M. Dado, and K. Ambrosch. INTSYS, volume 222 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 85-89. Springer, (2017)
M. Hemmatpour, T. Larsen, N. Kumar, and E. Gran. AINA (6), volume 204 of Lecture Notes on Data Engineering and Communications Technologies, page 364-373. Springer, (2024)