On software update analysis via Kalman decomposition | IEEE Conference Publication | IEEE Xplore