Modeling and dependability analysis of an industrial plant: Case study | IEEE Conference Publication | IEEE Xplore