TY  - RPRT
TI  - Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
AU  - Alex Groce
AU  - Stefan Leue
PY  - 2017
DO  - 10.4204/eptcs.259
UR  - https://arxiv.org/abs/1710.02770
ID  - 1710.02770
ER  -