B. Vũ Anh, “On the determining and minimizing problems of the duration automata”, JCC, vol. 30, no. 2, pp. 148–162, Jun. 2014.