Bozzano, Marco, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, and Stefano Tonetta. 2012. “Symbolic Model Checking and Safety Assessment of Altarica Models”. Electronic Communications of the EASST 46 (February). https://doi.org/10.14279/tuj.eceasst.46.697.