@misc{indiciaeb56502bed0f1,
  title = {A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems},
  author = {Roopak Sinha and Sandeep Patil and Luis Gomes and Valeriy Vyatkin},
  year = {2021},
  doi = {10.1109/tii.2019.2908665.},
  url = {https://arxiv.org/abs/2108.05556},
  note = {Source identifier: 2108.05556}
}