A Dependability Case Editor with Pattern Library | IEEE Conference Publication | IEEE Xplore