TY - RPRT TI - Secure Recovery Procedure for Manufacturing Systems using Synchronizing Automata and Supervisory Control Theory AU - Lucas V. R. Alves AU - Patricia N. Pena PY - 2020 UR - https://arxiv.org/abs/2008.13062 ID - 2008.13062 ER -