Reliability formula & limit law of the failure time of “m-consecutive-k-out-of-n:F system”