Markov Chains and Dependability Theory: Stationarity detection