@article{Abate_2009,
    doi = {10.1016/j.nahs.2008.12.005},
    url = {https://doi.org/10.1016%2Fj.nahs.2008.12.005},
    year = {2009},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {3},
    number = {2},
    pages = {150--162},
    author = {Alessandro Abate and Alessandro D'Innocenzo and Maria Domenica Di Benedetto and Shankar Sastry},
    title = {Understanding deadlock and livelock behaviors in Hybrid Control Systems},
    journal = {Nonlinear Analysis: Hybrid Systems}
}

@article{Abate_2009, doi = {10.1016/j.nahs.2008.12.005}, url = {https://doi.org/10.1016%2Fj.nahs.2008.12.005}, year = {2009}, month = {may}, publisher = {Elsevier {BV}}, volume = {3}, number = {2}, pages = {150--162}, author = {Alessandro Abate and Alessandro D'Innocenzo and Maria Domenica Di Benedetto and Shankar Sastry}, title = {Understanding deadlock and livelock behaviors in Hybrid Control Systems}, journal = {Nonlinear Analysis: Hybrid Systems} }