Björn Carlson Vineet Gupta Hybrid cc with Interval Constraints. 80-95 1998 conf/hybrid/1998 HSCC db/conf/hybrid/hscc98.html#CarlsonG98