@incollection{D_souza_2002,
    doi = {10.1007/3-540-45841-7_47},
    url = {https://doi.org/10.1007%2F3-540-45841-7_47},
    year = {2002},
    publisher = {Springer Berlin Heidelberg},
    pages = {571--582},
    author = {Deepak D'souza and P. Madhusudan},
    title = {Timed Control Synthesis for External Specifications},
    booktitle = {{STACS} 2002}
}

@incollection{D_souza_2002, doi = {10.1007/3-540-45841-7_47}, url = {https://doi.org/10.1007%2F3-540-45841-7_47}, year = {2002}, publisher = {Springer Berlin Heidelberg}, pages = {571--582}, author = {Deepak D'souza and P. Madhusudan}, title = {Timed Control Synthesis for External Specifications}, booktitle = {{STACS} 2002} }