Fault-tolerant supervisory control in Discrete Event Systems: An implementation proposal Controle Supervisório Tolerante a Falhas em SEDs: uma proposta de implementação - Bellarmino L.* (2023)