Formal Performance Analysis and Simulation of UML/SysML Models for ESL Design

by A. Viehl, T. Schönwald, O. Bringmann, and W. Rosenstiel
In DATE, 2006.