Gruska, D.
2025 dez  3.  State-Based Security and Time-Inserting Supervisors. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :