Mathematical Models for Systems Reliability