Modular verification of performance constraints (2003)

by J Krone, W F Ogden, M Sitaraman