Design Technology for Heterogeneous Embedded Systems (2012)