Characterization of the marginal distributions of Markovprocesses used in dynamic reliability