The Unit-B Method — Refinement Guided by Progress Concerns (BiBTeX)

@Article{hudon16:_unit_b_method,
  author = 	 {Simon Hudon and Thai Son Hoang and Jonathan S. Ostroff},
  title = 	 {The {Unit-B} Method --- Refinement Guided by Progress Concerns},
  journal = 	 {Software and System Modeling},
  year = 	 2016,
  month = 	 oct,
  volume = 	 {15},
  number = 	 {4},
  pages = 	 {1091--1116},
  url = 	 {http://dx.doi.org/10.1007/s10270-015-0456-2},
}