@article{Bozzano2014,
title = "Safety Assessment of AltaRica Models via Symbolic Model Checking",
journal = "Science of Computer Programming",
year = "2014",
issn = "0167-6423",
doi = "http://dx.doi.org/10.1016/j.scico.2014.06.003",
url = "http://www.sciencedirect.com/science/article/pii/S0167642314002810",
author = "Marco Bozzano and Alessandro Cimatti and Oleg Lisagor and Cristian Mattarei and Sergio Mover and Marco Roveri and Stefano Tonetta",
}