Giovanni De Micheli System-level design technologies for heterogeneous distributed systems. 5 2008 SBCCI http://doi.acm.org/10.1145/1404371.1404378 conf/sbcci/2008 db/conf/sbcci/sbcci2008.html#Micheli08