Truncated Life Tests in the Exponential Case | Synapse