A framework for embedded system specification under different models of computation in SystemC | Publicación