Managing complexity in heterogeneous system specification, simulation, and synthesis | IEEE Conference Publication | IEEE Xplore