Decomposition Tool for Event-B (BiBTeX)

@Article{silva11:_decom_event_b,
  author = 	 {Renato Silva and Carine Pascal and Thai Son Hoang and Michael Butler},
  title = 	 {Decomposition tool for {Event-B}},
  journal = 	 {Software: Practice and Experience},
  year = 	 2011,
  month = 	 feb,
  volume = 	 41,
  number = 	 2,
  pages = 	 {199--208},
  publisher =    {Wiley},
  note = 	 {\url{http://dx.doi.org/10.1002/spe.1002}}
}