Using pSOS/sup +/ for embedded real-time computing | IEEE Conference Publication | IEEE Xplore