@article{DBLP:journals/fac/BozzanoCGJM21,
  author    = {Marco Bozzano and
               Alessandro Cimatti and
               Marco Gario and
               David Jones and
               Cristian Mattarei},
  title     = {Model-based Safety Assessment of a Triple Modular Generator with {xSAP}},
  journal   = {Formal Asp. Comput.},
  year      = {2021}
}