Pragmatic Guidelines for Formal Modeling of Security Ceremonies. - Barbara Fila; Ermenda Hoxha (STM, 2025)