for Failure Detection in Avionics -- 6 Markov Modeling of Time Series via Spectral