@inproceedings{roger:hal-00517290, TITLE = {{Implementation of testing automata for timed model validation}}, AUTHOR = {Roger, Jean-Charles and Dhaussy, Philippe}, URL = {https://hal.science/hal-00517290}, BOOKTITLE = {{Movep'04}}, ADDRESS = {Brussel, Belgium}, YEAR = {2004}, HAL_ID = {hal-00517290}, HAL_VERSION = {v1}, }