@TechReport{	  silva.ea:decomposition:2010-b,
  author	= {Renato Silva and Carine Pascal and Thai Son Hoang and
		  Michael Butler},
  institution	= {University of Dusseldorf, Germany},
  language	= {USenglish},
  month		= 09,
  note		= {In Proceedings of the Rodin User and Developer Workshop},
  title		= {Decomposition Tool: Development and Usage},
  year		= 2010,
  user		= {htson}
}