Bozzano, Marco, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, and Stefano Tonetta. “Symbolic Model Checking and Safety Assessment of Altarica Models”. Electronic Communications of the EASST 46 (February 27, 2012). Accessed October 22, 2024. https://eceasst.org/index.php/eceasst/article/view/1887.