Report of the IEEE Workshop on Measurement and Modeling of Computer Dependability