Asynchronous Controller Design and Simulation Using Signal Transition Graphs. - Diogo Domingos; Marcelino B. Santos (DCIS, 2022)