Automatic performance model synthesis from hardware verification models. - Robert H. Bell Jr.; Mátyás A. Sustik; David W. Cummings; Jonathan R. Jackson (ICPE, 2011)