@misc{indiciaeb9842a2a3bd6,
  title = {Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns},
  author = {Yuri Gil Dantas and Antoaneta Kondeva and Vivek Nigam},
  year = {2020},
  doi = {10.4204/eptcs.325.29},
  url = {https://arxiv.org/abs/2009.10251},
  note = {Source identifier: 2009.10251}
}