Test pattern generation for timing-induced functional errors in hardware-software systems | IEEE Conference Publication | IEEE Xplore