Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support.

Junguo Li Xiangping Chen Gang Huang Hong Mei Franck Chauvel Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support. 69-86 2009 CBSE http://dx.doi.org/10.1007/978-3-642-02414-6_5 conf/cbse/2009 db/conf/cbse/cbse2009.html#LiCHMC09