Stochastic characterization of a class of 2-state system availability processes. Pro Mathematica, v. 24, n. 47-48, p. 267–283, 7 Sep.2010.