Characterization of Some Discrete Models by Properties of Residual Life Function | Synapse