Issues in defining, analyzing, refining, and specifying system dependability requirements | IEEE Conference Publication | IEEE Xplore