Gromov M., Shabaldina N. Using BALM-II for deriving parallel composition of timed finite state machines with outputs delays and timeouts: work-in-progress // # 8, 2016
Burdonov I., Yevtushenko N., Kossatchev A., Kushik N. Synchronizing and Homing Experiments for Input/output Automata // # 10, 2017
