Analytical architecture-based performability evaluation of real-time software systems. - Faeze Eshragh; Mehdi Kargahi (J. Syst. Softw., 2013)