@misc{indiciae725931b99c84,
  title = {Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB)},
  author = {Christian Attiogbe},
  year = {2009},
  url = {https://arxiv.org/abs/0910.1690},
  note = {Source identifier: 0910.1690}
}