A safety-argument based method to predict system failure | IEEE Conference Publication | IEEE Xplore