M. Bozzano, “Symbolic Model Checking and Safety Assessment of Altarica models”, eceasst, vol. 46, Feb. 2012.