Third Workshop on Hot Topics in System Dependability HotDep'07 | IEEE Conference Publication | IEEE Xplore