@incollection{Pnueli_1989,
    doi = {10.1007/bfb0035790},
    url = {https://doi.org/10.1007%2Fbfb0035790},
    year = {1989},
    publisher = {Springer Berlin Heidelberg},
    pages = {652--671},
    author = {Amir Pnueli and Roni Rosner},
    title = {On the synthesis of an asynchronous reactive module},
    booktitle = {Automata, Languages and Programming}
}

@incollection{Pnueli_1989, doi = {10.1007/bfb0035790}, url = {https://doi.org/10.1007%2Fbfb0035790}, year = {1989}, publisher = {Springer Berlin Heidelberg}, pages = {652--671}, author = {Amir Pnueli and Roni Rosner}, title = {On the synthesis of an asynchronous reactive module}, booktitle = {Automata, Languages and Programming} }