Comprehensive Lower Bound Estimation From Behavioral Descriptions | IEEE Conference Publication | IEEE Xplore