Zheng Wang Xiao Yu Geguang Pu Libo Feng Huibiao Zhu Jifeng He Execution Semantics for rCOS. 119-126 2008 APSEC http://dx.doi.org/10.1109/APSEC.2008.11 conf/apsec/2008 db/conf/apsec/apsec2008.html#WangYPFZH08