Application of a reliability model generator to a pressure tank system | IEEE Conference Publication | IEEE Xplore