@misc{indiciae74da065af535,
  title = {Dynamic Verification of SystemC with Statistical Model Checking},
  author = {Van Chan Ngo and Axel Legay and Jean Quilbeuf},
  year = {2015},
  url = {https://arxiv.org/abs/1412.0885},
  note = {Source identifier: 1412.0885}
}