@article{DR20b,
  author = {Dureja, Rohit and Rozier, Kristin Y.},
  title = {{Incremental Design-Space Model Checking via Resuable Reachable State Approximations}},
  journal = {Formal Methods in System Design},
  year = {2022},
  url = {#},
  preprint = {../papers/DR22.pdf}
}