Event-based modeling of input signal behaviors for discrete-event controllers - Gomes, Luís (2024)