@article{DBLP:journals/eceasst/BozzanoCLMMRT11,
  author    = {Marco Bozzano and
               Alessandro Cimatti and
               Oleg Lisagor and
               Cristian Mattarei and
               Sergio Mover and
               Marco Roveri and
               Stefano Tonetta},
  title     = {Symbolic Model Checking and Safety Assessment of Altarica
               models},
  journal   = {ECEASST},
  volume    = {46},
  year      = {2011},
  ee        = {http://journal.ub.tu-berlin.de/eceasst/article/view/697},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}