Stack memory requirements of AUTOSAR/OSEK-compliant scheduling policies | IEEE Conference Publication | IEEE Xplore