Early Modeling of Linux-Based RTOS Platforms in a SystemC Time-Approximate Co-simulation Environment | IEEE Conference Publication | IEEE Xplore