Gruska, D.
(2025).
 State-Based Security and Time-Inserting Supervisors.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 3-18). Porto Alegre: SBC.