@article{DR22,
author = {Rohit Dureja and Kristin Yvonne Rozier},
title = {{Incremental Design-space Model Checking Via Reusable Reachable State Approximations}},
journal = {{Formal Methods in System Design (FMSD) Journal}},
publisher = {{Springer}},
volume = {{online}},
number = {{1}},
doi = {{https://doi.org/10.1007/s10703-022-00389-5}},
month = {{January}},
year = {{2022}},
}