Text this: SW Annotation Techniques and RTOS Modelling for Native Simulation of Heterogeneous Embedded Systems