UNSPECIFIED (2009) Proceedings of the International Workshop on the Design of Dependable Critical Systems “Hardware, Software, and Human Factors in Dependable System Design”. [Conference Item]