1. Ultrades-a library for modeling, analysis and control of discrete event systems;Alves,2017
2. Planning on Discrete Event Systems Using Parallelism Maximization;Alves;Control Engineering Practice,2021
3. Corrigan, S. (2016). Introduction to the Controller Area Network (CAN). Technical Report. URL www.ti.com/lit/an/sloa101b/sloa101b.pdf. Last accessed: March 7th, 2022.
4. Synthesis and Implementation of Local Modular Supervisory Control for a Manufacturing Cell;De Queiroz,2002
5. Modular control of composed systems;De Queiroz,2000