A formal approach to system level design: metamodels and unified design environments.

Felice Balarin Claudio Passerone Alessandro Pinto Alberto L. Sangiovanni-Vincentelli A formal approach to system level design: metamodels and unified design environments. 155-163 2005 conf/memocode/2005 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2005.1487909 db/conf/memocode/memocode2005.html#BalarinPPS05