Decomposition in Event-B (BiBTeX)

@TechReport{silva10:_decom_event_b,
  author = 	 {Renato Silva and Carine Pascal and Thai Son Hoang and Michael Butler},
  title = 	 {Decomposition in Event-B},
  institution =  {University of Dusseldorf},
  year = 	 2010,
  note = 	 {Proceedings of the 2nd RODIN User and Developer Workshop}
}