Sahar Mohajerani, Robi Malik, Martin Fabian. A framework for compositional nonblocking verification of extended finite-state machines. Discrete Event Dynamic Systems, 26(1):33-84, 2016. [doi]
@article{MohajeraniMF16,
title = {A framework for compositional nonblocking verification of extended finite-state machines},
author = {Sahar Mohajerani and Robi Malik and Martin Fabian},
year = {2016},
doi = {10.1007/s10626-015-0217-y},
url = {http://dx.doi.org/10.1007/s10626-015-0217-y},
researchr = {https://researchr.org/publication/MohajeraniMF16},
cites = {0},
citedby = {0},
journal = {Discrete Event Dynamic Systems},
volume = {26},
number = {1},
pages = {33-84},
}