Formal performance analysis and simulation of UML/SysML models for ESL design (2006)

by Alexander Viehl, Timo Schönwald, Oliver Bringmann, Wolfgang Rosenstiel
Venue:European Design and Automation Association