Gruska, D.
2025 Dec  3.  State-Based Security and Time-Inserting Supervisors. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :