@misc{indiciae609866fdc1cf,
  title = {The Unit-B Method -- Refinement Guided by Progress Concerns},
  author = {Simon Hudon and Thai Son Hoang and Jonathan S. Ostroff},
  year = {2020},
  doi = {10.1007/s10270-015-0456-2},
  url = {https://arxiv.org/abs/1810.10143},
  note = {Source identifier: 1810.10143}
}