Modeling timing constraints for automatic generation of embedded test instruments | IEEE Conference Publication | IEEE Xplore