Register-constrained inclusion scheduling for imprecise specification | IEEE Conference Publication | IEEE Xplore