D. Gruska.
" State-Based Security and Time-Inserting Supervisors", in <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, Recife/PE, 2025, pp. 3-18.