Early Modeling of Linux-Based RTOS Platforms in a SystemC Time-Approximate Co-simulation Environment | Publicación