Viehl, et al.. Formal Performance Analysis and Simulation of Uml/sysml Models for ESL Design. IEEE, 2006, doi:10.1109/date.2006.244110.