@inproceedings{phd_thesis_mattarei,
  author    = {Cristian Mattarei},
  title     = {Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications},
  booktitle = {PhD Thesis. University of Trento, February 4, 2016},
  year      = {2016},
}