Safety Assessment of AltaRica Models via Symbolic Model Checking