Rajeev Alur, Thomas A. Henzinger. Reactive Modules. Formal Methods in System Design, 15(1):7-48, 1999.
@article{AlurH99b,
title = {Reactive Modules},
author = {Rajeev Alur and Thomas A. Henzinger},
year = {1999},
researchr = {https://researchr.org/publication/AlurH99b},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {15},
number = {1},
pages = {7-48},
}