@CONFERENCE\{IMM1996-01795,
    author       = "M. Fr{\"{a}}nzle",
    title        = "Hardware synthesis from temporal logic: Undecidability need not matter",
    year         = "1996",
    booktitle    = "Position paper, Hardware Synthesis and Verification Workshop",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "Cornell University",
    organization = "",
    address      = "Ithaca, {USA}",
    url          = "http://www.imm.dtu.dk/~mf/cornell-hw-synthesis.ps.Z"
}