@inproceedings{RWN+98,
title = { Automatic Testing of Reactive Systems },
author = {Raymond, Pascal and Weber, Daniel and Nicollin, Xavier and Halbwachs, Nicolas},
month = {dec},
year = {1998},
booktitle = {19th IEEE Real-Time Systems Symposium},
address = {Madrid, Spain},
team = {SYNC},
}
