A recurrence-relation-based reward model for performability evaluation of embedded systems