Markov Chain-based Reliability Analysis for Automotive Fail-Operational Systems