@article{Reissig_2011,
    doi = {10.1109/tac.2011.2118950},
    url = {https://doi.org/10.1109%2Ftac.2011.2118950},
    year = {2011},
    month = {nov},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {56},
    number = {11},
    pages = {2583--2598},
    author = {Gunther Reissig},
    title = {Computing Abstractions of Nonlinear Systems},
    journal = {{IEEE} Transactions on Automatic Control}
}

@article{Reissig_2011, doi = {10.1109/tac.2011.2118950}, url = {https://doi.org/10.1109%2Ftac.2011.2118950}, year = {2011}, month = {nov}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {56}, number = {11}, pages = {2583--2598}, author = {Gunther Reissig}, title = {Computing Abstractions of Nonlinear Systems}, journal = {{IEEE} Transactions on Automatic Control} }