Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner: Automatic Timing Model Generation by CFG Partitioning and Model Checking. DATE 2005: 606-611