@misc{indiciaea73b3eea9d0c,
  title = {SysML/KAOS Domain Models and B System Specifications},
  author = {Steve Jeffrey Tueno Fotso and Marc Frappier and Amel Mammar and Régine Laleau},
  year = {2018},
  url = {https://arxiv.org/abs/1803.01972},
  note = {Source identifier: 1803.01972}
}