A Kalman filter procedure for the processing of the electroencephalogram | IEEE Conference Publication | IEEE Xplore