A Survey on Event-B Decomposition (BiBTeX)

@Article{hoang11:_survey_event_b_decom,
  author = 	 {Thai Son Hoang and Alexei Iliasov and Renato Silva and Wei Wei},
  title = 	 {A Survey on {Event-B} Decomposition},
  journal = 	 {ECEASST},
  year = 	 2011,
  volume = 	 46,
  note =         {In Proceedings of the AVoCS2011 Workshop. \url{http://journal.ub.tu-berlin.de/eceasst/article/view/688}}
}