Zhiming Liu Mathai Joseph Real-Time and Fault-Tolerant Systems. 156-219 2004 conf/psse/2004 PSSE http://dx.doi.org/10.1007/11889229_5 db/conf/psse/psse2004.html#LiuJ04