Reference:

Javier Esparza and Jan Kretínský. From LTL to deterministic automata: A safraless compositional approach. In CAV, pages 192–208, 2014.

Suggested BibTeX entry:

@inproceedings{EsparzaK_CAV14,
    author = {Javier Esparza and Jan Kret\'{\i}nsk{\'y}},
    booktitle = {CAV},
    pages = {192-208},
    title = {From {LTL} to Deterministic Automata: A Safraless Compositional Approach},
    year = {2014}
}