@article{Tomita_2016,
    doi = {10.1007/s00236-016-0280-3},
    url = {https://doi.org/10.1007%2Fs00236-016-0280-3},
    year = {2016},
    month = {oct},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {54},
    number = {7},
    pages = {655--692},
    author = {Takashi Tomita and Atsushi Ueno and Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki},
    title = {Safraless {LTL} synthesis considering maximal realizability},
    journal = {Acta Informatica}
}

@article{Tomita_2016, doi = {10.1007/s00236-016-0280-3}, url = {https://doi.org/10.1007%2Fs00236-016-0280-3}, year = {2016}, month = {oct}, publisher = {Springer Science and Business Media {LLC}}, volume = {54}, number = {7}, pages = {655--692}, author = {Takashi Tomita and Atsushi Ueno and Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki}, title = {Safraless {LTL} synthesis considering maximal realizability}, journal = {Acta Informatica} }