Reference:

Andreas Gaiser, Jan Kretinsky, and Javier Esparza. Rabinizer: Small deterministic automata for LTL(F, G). In Chakraborty and Mukund, pages 72–76.

Suggested BibTeX entry:

@inproceedings{DBLP:confatvaGaiserKE12,
    author = {Andreas Gaiser and Jan Kretinsky and Javier Esparza},
    booktitle = {ATVA},
    editor = {Supratik Chakraborty and Madhavan Mukund},
    pages = {72-76},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Rabinizer: Small Deterministic Automata for {LTL}({F}, {G})},
    volume = {7561},
    year = {2012}
}