SEARCH Articles Figures Tables Discrete Time Markov Chain representing the p-automaton for the case study. [Publishers Imprint]