Reference:

Javier Esparza and Jan Kretínský. From LTL to deterministic automata: A safraless compositional approach. Technical report, arxiv.org, 2014.

Suggested BibTeX entry:

@techreport{EsparzaK14,
    author = {Javier Esparza and Jan Kret\'{\i}nsk{\'y}},
    institution = {arxiv.org},
    journal = {arXiv preprint arXiv:1402.3388},
    title = {From {LTL} to Deterministic Automata: A Safraless Compositional Approach},
    year = {2014}
}