Optimization of Assertion Placement in Time-Constrained Embedded Systems | IEEE Conference Publication | IEEE Xplore