Automated dependability analysis of a HDPE reactor | IEEE Conference Publication | IEEE Xplore