Reliability analysis for binary Lévy degradation processes using characteristic functions | Synapse