@article{articlee30efd84,
title   = {A practical approach for testing timed deterministic finite state machines with single clock},
author = {El-Fakih, Khaled and Yevtushenko, Nina and Simão, Adenilso da Silva},
year = {2014},
doi = {10.1016/j.scico.2013.09.008},
journal   = {Science of Computer Programming}
}