Automatic generation and targeting of application specific operating systems and embedded systems software | IEEE Conference Publication | IEEE Xplore