TY  - RPRT
TI  - A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
AU  - Roopak Sinha
AU  - Sandeep Patil
AU  - Luis Gomes
AU  - Valeriy Vyatkin
PY  - 2021
DO  - 10.1109/tii.2019.2908665.
UR  - https://arxiv.org/abs/2108.05556
ID  - 2108.05556
ER  -