Visual Designing and Debugging of Deterministic Finite-State Machines in FSM. - Marco T. Morazán; Joshua M. Schappel; Sachin Mahashabde (TFPIE, 2020)