@Inproceedings{AitWakrimeGibsonRaffy18,
  author    = {Ait Wakrime, Abderrahim and Gibson, J Paul and Raffy, Jean-Luc},
  year      = {2018},
  title     = {{Formalising the Requirements of an E-Voting Software Product Line using Event-B}},
  booktitle = {{27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises}},
  publisher = {IEEE},
  pages     = {78-84},
  isbn = {978-1-5386-6916-7},
  address = {Paris, France},
  month = jun,
  year = 2018,
  doi       = {10.1109/WETICE.2018.00022}
}