@inproceedings{Pneuli,
    doi = {10.1109/fscs.1990.89597},
    url = {https://doi.org/10.1109%2Ffscs.1990.89597},
    publisher = {{IEEE} Comput. Soc. Press},
    author = {A. Pneuli and R. Rosner},
    title = {Distributed reactive systems are hard to synthesize},
    booktitle = {Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science}
}

@inproceedings{Pneuli, doi = {10.1109/fscs.1990.89597}, url = {https://doi.org/10.1109%2Ffscs.1990.89597}, publisher = {{IEEE} Comput. Soc. Press}, author = {A. Pneuli and R. Rosner}, title = {Distributed reactive systems are hard to synthesize}, booktitle = {Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science} }