Shlomi Dolev Ori Gersten Robust Active Super Tier Systems. 23-33 2005 conf/swste/2005 SwSTE http://doi.ieeecomputersociety.org/10.1109/SWSTE.2005.18 db/conf/swste/swste2005.html#DolevG05