@Article{	  silva.ea:decomposition:2011,
  author	= {Renato Silva and Carine Pascal and Thai Son Hoang and
		  Michael Butler},
  copyright	= {Wiley},
  copyrighturl	= {http://olabout.wiley.com/WileyCDA/Section/id-404510.html},
  journal	= {Softw. Pract. Exper.},
  language	= {USenglish},
  number	= 2,
  title		= {Decomposition tool for Event-B},
  volume	= 41,
  year		= 2011,
  user		= {htson}
}