@INPROCEEDINGS{Beletal99,
AUTHOR = "Belinfante, A. and Feenstra, J. and Vries, R.G. de and
          Tretmans, J. and Goga, N. and Feijs, L. and Mauw, S. and
          Heerink, L.",
TITLE = "Formal Test Automation: A Simple Experiment",
BOOKTITLE = "$12^{th}$ Int.\ Workshop on
             Testing of Communicating Systems",
YEAR = "1999",
EDITOR = "Csopaki, G. and Dibuz, S. and Tarnay, K.",
PAGES = "179--196",
PUBLISHER = "Kluwer Academic Publishers"
}