Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Formal testing from timed finite state machines. Computer Networks, 52(2):432-460, 2008. [doi]
@article{MerayoNR08,
title = {Formal testing from timed finite state machines},
author = {Mercedes G. Merayo and Manuel Núñez and Ismael Rodríguez},
year = {2008},
doi = {10.1016/j.comnet.2007.10.002},
url = {http://dx.doi.org/10.1016/j.comnet.2007.10.002},
tags = {testing, state machines},
researchr = {https://researchr.org/publication/MerayoNR08},
cites = {0},
citedby = {0},
journal = {Computer Networks},
volume = {52},
number = {2},
pages = {432-460},
}