Arshad Jhumka Martin Hiller Neeraj Suri An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems. 69-78 2004 conf/hase/2004 HASE http://csdl.computer.org/comp/proceedings/hase/2004/2094/00/20940069abs.htm db/conf/hase/hase2004.html#JhumkaHS04