Verifying Compositional Designs for Scenario-Based Timing Specifications. - Xuandong Li; Jianhua Zhao; Gong Jiayu; Shi Yaoxin; Guoliang Zheng (ISORC, 2004)