Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner. utomatic Timing Model Generation by CFG Partitioning and Model Checking. In 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany. pages 606-611, IEEE Computer Society, 2005. [doi]
Abstract is missing.