@misc{indiciaeb0045715b115,
  title = {Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies},
  author = {Alex Groce and Stefan Leue},
  year = {2017},
  doi = {10.4204/eptcs.259},
  url = {https://arxiv.org/abs/1710.02770},
  note = {Source identifier: 1710.02770}
}