title = {Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.},
author = {Mercedes G. Merayo and Manuel Núñez and Ismael Rodríguez}, journal = {IEEE Trans. Computers}, number = {6}, pages = {835-844}, url = {http://dblp.uni-trier.de/db/journals/tc/tc57.html#MerayoNR08}, volume = {57}, year = {2008}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2008.15}, date = {2008-06-05},
keywords = {dblp }
::