@Unpublished{	  silva.ea:decomposition:2010,
  author	= {Renato Alexandre Silva and Carine Pascal and Thai Son
		  Hoang and Michael Butler},
  language	= {USenglish},
  month		= 2,
  note		= {In Proceedings of the Workshop on Tool Building in Formal
		  Methods - ABZ Conference, Orford, Canada},
  title		= {Decomposition Tool for Event-B},
  year		= 2010,
  user		= {htson}
}