Srikanth Arekapudi, Fei Xin, Jinzheng Peng, Ian G. Harris. Test pattern generation for timing-induced functional errors in hardware-software systems. In Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001. pages 83-88, IEEE Computer Society, 2001. [doi]