Heterogeneous modeling and simulation of embedded systems in El Greco. - Joseph Buck; Radha Vaidyanathan (CODES, 2000)