Reference:
Toni Jussila. Otf - a BMC tool translating LTSs to boolean circuits, May 2003.
Suggested BibTeX entry:
@misc{tj:otf, author = {Toni Jussila}, month = {May}, title = {OTF - A {BMC} Tool Translating {LTS}s to Boolean Circuits}, year = {2003}, }