@article{journals/jlp/RodriguezMN08,
	title = {HOTL: Hypotheses and observations testing logic.},
	author = {Ismael Rodríguez and Mercedes G. Merayo and Manuel Núñez},
	journal = {J. Log. Algebr. Program.},
	number = {2},
	pages = {57-93},
	url = {http://dblp.uni-trier.de/db/journals/jlp/jlp74.html#RodriguezMN08},
	volume = {74},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/26d3c2e1d8173cca9705105aefc246905/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.jlap.2007.03.002}, date = {2008-06-25},
	keywords = {dblp }
}

@inproceedings{conf/pts/HieronsMN08,
	title = {Implementation Relations for the Distributed Test Architecture.},
	author = {Robert M. Hierons and Mercedes G. Merayo and Manuel Núñez},
	booktitle = {TestCom/FATES},
	crossref = {conf/pts/2008},
	editor = {Kenji Suzuki and Teruo Higashino and Andreas Ulrich and Toru Hasegawa},
	pages = {200-215},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/pts/testcom2008.html#HieronsMN08},
	volume = {5047},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/23fc9b1b7ee77d2de366a777604cb9d06/dblp},
	description = {dblp},
	date = {2008-06-09}, ee = {http://dx.doi.org/10.1007/978-3-540-68524-1_15}, isbn = {978-3-540-68514-2},
	keywords = {dblp }
}

@inproceedings{conf/pts/MerayoNR08,
	title = {THOTL: A Timed Extension of HOTL.},
	author = {Mercedes G. Merayo and Manuel Núñez and Ismael Rodríguez},
	booktitle = {TestCom/FATES},
	crossref = {conf/pts/2008},
	editor = {Kenji Suzuki and Teruo Higashino and Andreas Ulrich and Toru Hasegawa},
	pages = {86-102},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/pts/testcom2008.html#MerayoNR08},
	volume = {5047},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2edeffd52cda26fcab6786a405971a3ee/dblp},
	description = {dblp},
	date = {2008-06-09}, ee = {http://dx.doi.org/10.1007/978-3-540-68524-1_8}, isbn = {978-3-540-68514-2},
	keywords = {dblp }
}

@article{journals/tc/MerayoNR08,
	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},
	biburl = {http://www.bibsonomy.org/bibtex/2d2a9f0de87611eb58caedca04fc96114/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2008.15}, date = {2008-06-05},
	keywords = {dblp }
}

@inproceedings{conf/icons/AndresMN08,
	title = {Formal Development of a Complex Information System.},
	author = {César Andrés and Mercedes G. Merayo and Manuel Núñez},
	booktitle = {ICONS},
	crossref = {conf/icons/2008},
	pages = {118-123},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/icons/icons2008.html#AndresMN08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/20850f5920d968c2dd149cdb13dffa7e5/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.28}, date = {2008-04-30},
	keywords = {dblp }
}

@inproceedings{conf/icons/MerayoN08,
	title = {Derivation of Tests from Timed Specifications According to Different Coverage Criteria.},
	author = {Mercedes G. Merayo and Manuel Núñez},
	booktitle = {ICONS},
	crossref = {conf/icons/2008},
	pages = {97-102},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/icons/icons2008.html#MerayoN08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2b69e951bd7ebd4ab63de1682613ea003/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.33}, date = {2008-04-30},
	keywords = {dblp }
}

@article{journals/cn/MerayoNR08,
	title = {Formal testing from timed finite state machines.},
	author = {Mercedes G. Merayo and Manuel Núñez and Ismael Rodríguez},
	journal = {Computer Networks},
	number = {2},
	pages = {432-460},
	url = {http://dblp.uni-trier.de/db/journals/cn/cn52.html#MerayoNR08},
	volume = {52},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/29dbb369017a09781be3b364152e71089/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.comnet.2007.10.002}, date = {2008-02-22},
	keywords = {dblp }
}

@inproceedings{conf/sefm/MerayoN07,
	title = {Testing conformance on Stochastic Stream X-Machines.},
	author = {Mercedes G. Merayo and Manuel Núñez},
	booktitle = {SEFM},
	crossref = {conf/sefm/2007},
	pages = {227-236},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#MerayoN07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/24bd88ad6b43922162513041488d4abad/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.41}, isbn = {978-0-7695-2884-7}, date = {2007-12-06},
	keywords = {dblp }
}

@article{journals/tvlsi/PlazaMDC96,
	title = {A 2.5 Gb/s ATM switch chip set.},
	author = {P. Plaza and L. A. Merayo and J. C. Diaz and J. L. Conesa},
	journal = {IEEE Trans. VLSI Syst.},
	number = {3},
	pages = {405-416},
	url = {http://dblp.uni-trier.de/db/journals/tvlsi/tvlsi4.html#PlazaMDC96},
	volume = {4},
	year = {1996},
	biburl = {http://www.bibsonomy.org/bibtex/2ecd38f396a351567849e4ef8d0b5aff8/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/92.532040}, date = {2007-11-12},
	keywords = {dblp }
}

@inproceedings{conf/atva/MerayoNR07,
	title = {A Brief Introduction to THOTL.},
	author = {Mercedes G. Merayo and Manuel Núñez and Ismael Rodríguez},
	booktitle = {ATVA},
	crossref = {conf/atva/2007},
	editor = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura},
	pages = {501-510},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/atva/atva2007.html#MerayoNR07},
	volume = {4762},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/20237a79ebdca9781f2b9e834c8c5662f/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-75596-8_35}, isbn = {978-3-540-75595-1}, date = {2007-11-07},
	keywords = {dblp }
}