utomatic Timing Model Generation by CFG Partitioning and Model Checking.

Ingomar Wenzel Bernhard Rieder Raimund Kirner Peter P. Puschner utomatic Timing Model Generation by CFG Partitioning and Model Checking. 606-611 2005 conf/date/2005 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.2005.76 db/conf/date/date2005.html#WenzelRKP05