Formal Verification of Safety Architectures for Automated Driving