Bozzano, M. (2012) “Symbolic Model Checking and Safety Assessment of Altarica models”, Electronic Communications of the EASST, 46. doi: 10.14279/tuj.eceasst.46.697.