@misc{
    Bomotest1.5,
    author = {Pyh{\"a}l{\"a}, Tuomo and Heljanko, Keijo},
    juforank = "NA",
    title = "Bomotest: A formal conformance testing tool, Version 1.5",
    url = "http://www.tcs.hut.fi/%7Etpyhala/bomotest/bomotest.html",
    corerank = "NA",
    note = "Software",
    keywords = "formal conformance testing, coverage, bounded model checking",
    flags = "SOFTWARE SA-53695",
    year = "2003",
    howpublished = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland"
}