Improvements in computational aspects of interval Kalman filtering enhanced by constraint propagation | IEEE Conference Publication | IEEE Xplore