@phdthesis{phdthesis_mattarei,
  author       = {Cristian Mattarei}, 
  title        = {{Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications}},
  school       = {University of Trento},
  address      = {Trento, Italy},
  year         = {2016},
  month        = {2}
}