Transformation from Availability Expression to Time-Specific Failure/Success Frequency Expressions | IEEE Conference Publication | IEEE Xplore