Formal Verification of a Fail-Operational Automotive Driving System. - Tobias Schmid; Stefanie Schraufstetter; Jonas Fritzsch; Dominik Hellhake; Greta Koelln; Stefan Wagner 001 (CoRR, 2021)