Embedded battle royal [embedded operating systems] | IEEE Journals & Magazine | IEEE Xplore