@misc{indiciae96c80ced3015,
  title = {From Event-B to Verified C via HLL},
  author = {Ning Ge and Arnaud Dieumegard and Eric Jenn and Laurent Voisin},
  year = {2016},
  url = {https://arxiv.org/abs/1610.07410},
  note = {Source identifier: 1610.07410}
}