TY  - RPRT
TI  - Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
AU  - Van Chan Ngo
AU  - Axel Legay
PY  - 2016
UR  - https://arxiv.org/abs/1507.08187
ID  - 1507.08187
ER  -