Citing ProB

The initial conference publication was:

• Michael Leuschel & Michael Butler (2003): ProB: A Model Checker for B. In Keijiro Araki, Stefania Gnesi & Dino Mandrioli, editors: FME 2003: Formal Methods, LNCS 2805, Springer-Verlag, pp. 855–874, doi:10.1007/978-3-540-45236-2 46.

@inproceedings{LeuschelButler:FME03,
   author =    {Michael Leuschel and Michael Butler},
   title =     {Pro{B}: A Model Checker for {B}},
   booktitle = {FME 2003: Formal Methods},
   editor =	 {Araki, Keijiro and Gnesi, Stefania and Mandrioli, Dino},
   publisher = {Springer-Verlag},
   series =    {LNCS 2805},
   year =      2003,
  pages =	 {855--874},
   isbn = {3-540-40828-2},
  doi       = {10.1007/978-3-540-45236-2\_46},
}

Later journal article describing ProB in more detail:

• Michael Leuschel & Michael J. Butler (2008): ProB: an automated analysis toolset for the B method. STTT 10(2), pp. 185–203. Available at http://dx.doi.org/10.1007/s10009-007-0063-9.

@article{DBLP:journals/sttt/LeuschelB08,
  author    = {Michael Leuschel and
               Michael J. Butler},
  title     = {{ProB}: an automated analysis toolset for the {B} method},
  journal   = {STTT},
  volume    = {10},
  number    = {2},
  year      = {2008},
  pages     = {185--203},
  ee        = {http://dx.doi.org/10.1007/s10009-007-0063-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}