Lucas Lima, Vince Molnár: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings. Lecture Notes in Computer Science 13768, Springer 2022, ISBN 978-3-031-22475-1