Application of a Reliability Model Generator to a Pressure Tank System. - Kathryn Stockwell; Sarah Dunnett (Int. J. Autom. Comput., 2013)