@inproceedings{Alur,
    doi = {10.1109/lics.1996.561320},
    url = {https://doi.org/10.1109%2Flics.1996.561320},
    publisher = {{IEEE} Comput. Soc. Press},
    author = {R. Alur and T.A. Henzinger},
    title = {Reactive modules},
    booktitle = {Proceedings 11th Annual {IEEE} Symposium on Logic in Computer Science}
}

@inproceedings{Alur, doi = {10.1109/lics.1996.561320}, url = {https://doi.org/10.1109%2Flics.1996.561320}, publisher = {{IEEE} Comput. Soc. Press}, author = {R. Alur and T.A. Henzinger}, title = {Reactive modules}, booktitle = {Proceedings 11th Annual {IEEE} Symposium on Logic in Computer Science} }