A survey of configurable, component-based operating systems for embedded applications | IEEE Journals & Magazine | IEEE Xplore