"On Combining Functional Verification and Performance Evaluation Using CADP."

Hubert Garavel, Holger Hermanns (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics