Blake C. Rawlings, John M. Wassick, B. Erik Ydstie. Application of formal verification and falsification to large-scale chemical plant automation systems. Computers & Chemical Engineering, 114:211-220, 2018. [doi]
@article{RawlingsWY18,
title = {Application of formal verification and falsification to large-scale chemical plant automation systems},
author = {Blake C. Rawlings and John M. Wassick and B. Erik Ydstie},
year = {2018},
doi = {10.1016/j.compchemeng.2017.11.004},
url = {https://doi.org/10.1016/j.compchemeng.2017.11.004},
researchr = {https://researchr.org/publication/RawlingsWY18},
cites = {0},
citedby = {0},
journal = {Computers & Chemical Engineering},
volume = {114},
pages = {211-220},
}