@article{Asarin_2000,
    doi = {10.1109/5.871306},
    url = {https://doi.org/10.1109%2F5.871306},
    year = {2000},
    month = {jul},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {88},
    number = {7},
    pages = {1011--1025},
    author = {E. Asarin and O. Bournez and T. Dang and O. Maler and A. Pnueli},
    title = {Effective synthesis of switching controllers for linear systems},
    journal = {Proceedings of the {IEEE}}
}

@article{Asarin_2000, doi = {10.1109/5.871306}, url = {https://doi.org/10.1109%2F5.871306}, year = {2000}, month = {jul}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {88}, number = {7}, pages = {1011--1025}, author = {E. Asarin and O. Bournez and T. Dang and O. Maler and A. Pnueli}, title = {Effective synthesis of switching controllers for linear systems}, journal = {Proceedings of the {IEEE}} }