@inproceedings{Wong_Toi,
    doi = {10.1109/cdc.1997.649708},
    url = {https://doi.org/10.1109%2Fcdc.1997.649708},
    publisher = {{IEEE}},
    author = {H. Wong-Toi},
    title = {The synthesis of controllers for linear hybrid automata},
    booktitle = {Proceedings of the 36th {IEEE} Conference on Decision and Control}
}

@inproceedings{Wong_Toi, doi = {10.1109/cdc.1997.649708}, url = {https://doi.org/10.1109%2Fcdc.1997.649708}, publisher = {{IEEE}}, author = {H. Wong-Toi}, title = {The synthesis of controllers for linear hybrid automata}, booktitle = {Proceedings of the 36th {IEEE} Conference on Decision and Control} }