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
Tvardovskii A., Yevtushenko N. On parallel composition of Finite State Machines with timed guards // # 14, 2019
