Automatic generation of fast timed simulation models for operating systems in SoC design | IEEE Conference Publication | IEEE Xplore