Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti. Auxiliary state machines + context-triggered properties in verification. ACM Trans. Design Autom. Electr. Syst., 13(4), 2008. [doi]
@article{BanerjeeDC08,
title = {Auxiliary state machines + context-triggered properties in verification},
author = {Ansuman Banerjee and Pallab Dasgupta and P. P. Chakrabarti},
year = {2008},
doi = {10.1145/1391962.1391970},
url = {http://doi.acm.org/10.1145/1391962.1391970},
tags = {context-aware, state machines},
researchr = {https://researchr.org/publication/BanerjeeDC08},
cites = {0},
citedby = {0},
journal = {ACM Trans. Design Autom. Electr. Syst.},
volume = {13},
number = {4},
}