Vũ Anh, B. (2014). On the determining and minimizing problems of the duration automata. Journal of Computer Science and Cybernetics, 30(2), 148–162. https://doi.org/10.15625/1813-9663/30/2/3487