A combined interval and floating-point comparator | IEEE Conference Publication | IEEE Xplore