A. Balasubramanian, J. Esparza, and M. Raskin. Foundations of Software Science and Computation Structures - 24th International Conference, volume 12650 of Lecture Notes in Computer Science, page 42--61. Springer, (2021)
N. Basset, J. Raskin, and O. Sankur. Models, Algorithms, Logics and Tools, volume 10460 of Lecture Notes in Computer Science, page 403-425. Springer, (2017)
R. Becker, A. Casteigts, P. Crescenzi, B. Kodric, M. Renken, M. Raskin, and V. Zamaraev. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, September 11-13, 2023, Atlanta, Georgia, USA, volume 275 of LIPIcs, page 29:1--29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)https://arxiv.org/abs/2205.14888.