Barbara Fila, Hugo Jonker, Sasa Radomirovic: Juggling Formal Methods and Security - Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 16365, Springer 2026, ISBN 978-3-032-20683-1