Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe. Simulation Trace Verification for Quantitative Constraints. In Ahmed Amine Jerraya, Sungjoo Yoo, Diederik Verkest, Norbert Wehn, editors, Embedded Software for SoC. pages 275-285, Kluwer / Springer, 2003. [doi]