Availability growth models and verification of power equipment