Modeling and optimizing periodically inspected software rejuvenation policy based on geometric sequences. (January 2015)