@misc{indiciae020cd468b401,
  title = {A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software},
  author = {Asim Abdulkhaleq and Stefan Wagner},
  year = {2016},
  doi = {10.1145/2745802.2745817},
  url = {https://arxiv.org/abs/1612.00330},
  note = {Source identifier: 1612.00330}
}