Seventh workshop on hot topics in system dependability (HotDep'11) | IEEE Conference Publication | IEEE Xplore