Modeling of CSP, KPN and SR Systems with SystemC | Publicación