RTOS-aware refinement for TLM2.0-based HW/SW designs | IEEE Conference Publication | IEEE Xplore