@inproceedings{DR18,
    author    = {Rohit Dureja and Kristin Yvonne Rozier},
    title     = {More Scalable LTL Model Checking via Discovering Design-Space Dependencies (\textsc{$D^3$})},
    editors   =   "Dirk Beyer and Marieke Huisman",
    booktitle = "Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
    series    =   "Lecture Notes in Computer Science (LNCS)",
    volume    =   "part I, 10805",
    publisher =   "Springer-Verlag",
    pages     =   "309--327",
    month     = "April",
    year      = "2018",
}