@misc{indiciae9a3a85c5355d,
  title = {YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments},
  author = {Mario Gleirscher},
  year = {2020},
  doi = {10.4204/eptcs.329.4},
  url = {https://arxiv.org/abs/2012.01649},
  note = {Source identifier: 2012.01649}
}