Raj Kumar Rajendran Vishal Misra Dan Rubenstein Brief announcement: strong detection of misconfigurations. 40 2005 conf/podc/2005 PODC http://doi.acm.org/10.1145/1073814.1073821 db/conf/podc/podc2005.html#RajendranMR05