Rate of Quasi Lumpable Markov Chains -- Formal Dependability and Performance Evaluation