First-order concepts in system reliability · Study