Improvements and extensions to simulation interval procedures | IEEE Conference Publication | IEEE Xplore