RTOS-aware refinement for TLM2.0-based HW/SW designs