@misc{indiciae3ec608858085,
  title = {Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)},
  author = {Fuyuki Ishikawa and Alexander Romanovsky},
  year = {2012},
  url = {https://arxiv.org/abs/1211.2259},
  note = {Source identifier: 1211.2259}
}