Model Checking and Safety Assessment of Altarica models