@misc{
    tj:daa,
    author = "Jussila, Toni",
    title = "DAA - A {BMC} Tool Translating {LTS}s to Boolean Circuits",
    opthowpublished = "",
    month = "October",
    note = "\url{http://www.tcs.hut.fi/~tjussila/daa}",
    url = "http://www.tcs.hut.fi/~tjussila/daa",
    optannote = "",
    flags = "SA-53695 SOFTWARE",
    optkey = "",
    year = "2003"
}