Maxim Gromov, Aleksandr Tvardovskii, Nina Yevtushenko. Testing components of interacting timed finite state machines. In 2016 IEEE East-West Design & Test Symposium, EWDTS 2016, Yerevan, Armenia, October 14-17, 2016. pages 1-4, IEEE, 2016. [doi]
Abstract is missing.