Decomposition Tool for Event-B (BiBTeX)

@Unpublished{silva10:_decom_tool_event_b,
  author = 	 {Renato Silva and Carine Pascal and Thai Son Hoang and Michael Butler},
  title = 	 {Decomposition Tool for {Event-B}},
  booktitle = 	 {Workshop on Tool Building in Formal Methods - ABZ2010 Conference},
  year = 	 2010,
  month = 	 feb,
  note = 	 {\url{http://eprints.ecs.soton.ac.uk/18427/}}
}