@article{metzler2020extracting,
  title={Extracting safe thread schedules from incomplete model checking results},
  author={Metzler, Patrick and Suri, Neeraj and Weissenbacher, Georg},
  journal={International Journal on Software Tools for Technology Transfer},
  volume={22},
  number={5},
  pages={565--581},
  year={2020},
  publisher={Springer}
}