@INPROCEEDINGS{TrBe99,
AUTHOR = "Tretmans, J. and Belinfante, A.",
TITLE = "Automatic Testing with Formal Methods",
BOOKTITLE = "{EuroSTAR'99: $7^{th}$ European Int.\ Conference
              on Software Testing, Analysis {\&} Review}",
YEAR = "1999",
MONTH = "November 8--12,",
ADDRESS = "Barcelona, Spain"
EDITOR = "",
PAGES = "",
PUBLISHER = "EuroStar Conferences, Galway, Ireland"
}