Uncertainty Quantification And Its Properties For Hidden Markov Models With Application To Condition Based Maintenance