POSIX modeling in SystemC | Publicación