POSIX modeling in systemC | Publicación