@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 = {(to appear)},
  url = {#}
}