Foundations for using linear temporal logic in Event-B refinement (BiBTeX)

@Article{hoang16:_found_linear_tempor_logic_event_b,
  author = 	 {Thai Son Hoang and Steve Schneider and Helen Treharne and David Williams},
  title = 	 {Foundations for using Linear Temporal Logic in {Event-B} Refinement},
  journal = 	 {Formal Aspects of Computing},
  year = 	 2016,
  month = 	 nov,
  volume = 	 {28},
  number = 	 {6},
  pages = 	 {909--935},
  url = 	 {http://dx.doi.org/10.1007/s00165-016-0376-0}
}