Specifying Access Control in Event-B (BiBTeX)

@TechReport{hoang09:_specif_acces_contr_in_event_b,
  author = 	 {Thai Son Hoang and David Basin and Jean-Raymond Abrial},
  title = 	 {Specifying Access Control in Event-B},
  institution =  {Department of Computer Science, ETH Zurich},
  year = 	 2009,
  number = 	 624,
  month = 	 jun,
  note =
  {\url{http://www.inf.ethz.ch/research/disstechreps/techreports}}
}