Text this: Reliability Analysis of the Reconfigurable Integrated Modular Avionics Using the Continuous-Time Markov Chains