Jing Zhang Hui Rong Chunhong Zhang Fenghong Xiang Yunsheng Zhang Creditability Modeling of Distributed Embedded System Based on Real-Time Interaction Specification. 543-546 2009 ISCID (2) http://doi.ieeecomputersociety.org/10.1109/ISCID.2009.282 conf/iscid/2009 db/conf/iscid/iscid2009-2.html#ZhangRZXZ09