@misc{indiciae264e1bd14255,
  title = {Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin},
  author = {Pascal André and Christian Attiogbé and Arnaud Lanoix},
  year = {2018},
  url = {https://arxiv.org/abs/1803.05647},
  note = {Source identifier: 1803.05647}
}