Is possible to

Основы логистики

So, if it is possible to assume equally possible failures of the elements and the same cost of checks, you can automate the average point method when dividing the verified system.