Event-B Patterns and Their Tool Support (BiBTeX)

@Article{hoang13:_event_b_patter_their_tool_suppor,
  author = 	 {Thai Son Hoang and Andreas F{\"u}rst and Jean-Raymond Abrial},
  title = 	 {{Event-B} Patterns and Their Tool Support},
  journal = 	 {Software and Systems Modelling},
  year = 	 2013,
  month = 	 may,
  publisher =    {Springer-Verlag},
  volume =       12,
  number =       2,
  pages =        {229--244},
  note = 	 {\url{http://dx.doi.org/10.1007/s10270-010-0183-7}} 
}