selected publications academic article Deriving Synchronizing and Homing Sequences for Input/Output Automata. Automatic Control and Computer Sciences. 52:589-595. 2018