Reactor Containment Dependability Analysis in Safety Critical Nuclear Power Plants: Design, Implementation and Experience | IEEE Conference Publication | IEEE Xplore