Gruska, Damas.
" State-Based Security and Time-Inserting Supervisors" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)