A framework for heterogeneous specification and design of electronic embedded systems in SystemC | Publicación