Modeling and Analysis of the Behavior of uCOS Kernel Based on CSP | IEEE Conference Publication | IEEE Xplore