@misc{indiciae015c13c6bbc8,
  title = {Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements},
  author = {Elena Troubitsyna},
  year = {2012},
  url = {https://arxiv.org/abs/1210.7032},
  note = {Source identifier: 1210.7032}
}