Bozzano, M.; Cimatti, A.; Lisagor, O.; Mattarei, C.; Mover, S.; Roveri, M.; Tonetta, S. Symbolic Model Checking and Safety Assessment of Altarica Models. eceasst 2012, 46.