@incollection{Duret_Lutz_2016,
    doi = {10.1007/978-3-319-46520-3_8},
    url = {https://doi.org/10.1007%2F978-3-319-46520-3_8},
    year = {2016},
    publisher = {Springer International Publishing},
    pages = {122--129},
    author = {Alexandre Duret-Lutz and Alexandre Lewkowicz and Amaury Fauchille and Thibaud Michaud and {\'{E}}tienne Renault and Laurent Xu},
    title = {Spot 2.0 - A Framework for {LTL} and {\textdollar}{\textdollar}{\textbackslash}omega {\textdollar}{\textdollar} -Automata Manipulation},
    booktitle = {Automated Technology for Verification and Analysis}
}

@incollection{Duret_Lutz_2016, doi = {10.1007/978-3-319-46520-3_8}, url = {https://doi.org/10.1007%2F978-3-319-46520-3_8}, year = {2016}, publisher = {Springer International Publishing}, pages = {122--129}, author = {Alexandre Duret-Lutz and Alexandre Lewkowicz and Amaury Fauchille and Thibaud Michaud and {\'{E}}tienne Renault and Laurent Xu}, title = {Spot 2.0 - A Framework for {LTL} and {\textdollar}{\textdollar}{\textbackslash}omega {\textdollar}{\textdollar} -Automata Manipulation}, booktitle = {Automated Technology for Verification and Analysis} }