Rate-distortion function for Gauss-Markov source with side information at the decoder | IEEE Conference Publication | IEEE Xplore