Ansuman Banerjee, Pallab Dasgupta. The open family of temporal logics: Annotating temporal operators with input constraints. ACM Trans. Design Autom. Electr. Syst., 10(3):492-522, 2005. [doi]
@article{BanerjeeD05,
title = {The open family of temporal logics: Annotating temporal operators with input constraints},
author = {Ansuman Banerjee and Pallab Dasgupta},
year = {2005},
doi = {10.1145/1080334.1080337},
url = {http://doi.acm.org/10.1145/1080334.1080337},
tags = {constraints, source-to-source, logic, open-source},
researchr = {https://researchr.org/publication/BanerjeeD05},
cites = {0},
citedby = {0},
journal = {ACM Trans. Design Autom. Electr. Syst.},
volume = {10},
number = {3},
pages = {492-522},
}