@inproceedings{DR18,
  author = {Dureja, Rohit and Rozier, Kristin Y.},
  title = {More Scalable LTL Model Checking via Discovering Design-Space Dependencies},
  booktitle = {Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  publisher = {Springer Berlin Heidelberg},
  address = {Thessaloniki, Greece,},
  editors = {Dirk Beyer and Marieke Huisman},
  month = apr,
  year = {2018},
  url = {https://doi.org/10.1007%2F978-3-319-89960-2_17},
  preprint = {../papers/DR18.pdf},
  slides = {../papers/DR18-slides.pdf},
  poster = {../papers/DR18-poster.pdf},
  website = {http://temporallogic.org/research/TACAS18/}
}