Reference:
Toni Jussila. Daa - a BMC tool translating LTSs to boolean circuits, October 2003. http://www.tcs.hut.fi/ tjussila/daa.
Suggested BibTeX entry:
@misc{tj:daa, author = {Toni Jussila}, month = {October}, note = {\url{http://www.tcs.hut.fi/~tjussila/daa}}, title = {DAA - A {BMC} Tool Translating {LTS}s to Boolean Circuits}, year = {2003}, }