The Challenge of Probabilistic Event-B (BiBTeX)

@InProceedings{morgan05:_chall_probab_event_b,
  author = 	 {Carroll Morgan and Thai Son Hoang and Jean-Raymond Abrial},
  title = 	 {The Challenge of Probabilistic {Event-B}},
  crossref =	 {treharne05:_zb2005},
  pages =	 {162-171},
  note =         {\url{http://dx.doi.org/10.1007/11415787_10}}
}

@Proceedings{treharne05:_zb2005,
  title = 	 {Proceedings of the 4th International Conference of {B} and {Z} Users ({ZB2005})},
  booktitle = 	 {{ZB2005}: Formal Specification and Development in {Z} and {B}},
  editor =	 {Helen Treharne and Steve King and Martin Henson and Steve Schneider},
  volume =	 3455,
  series =	 {Lecture Notes in Computer Science},
  year = 	 2005,
  month =	 apr,
  address =	 {Guildford, United Kingdom},
  publisher =	 {Springer-Verlag}
}