Software System Rejuvenation Modeling Based on Sequential Inspection Periods and State Multi-control Limits. - Weichao Dang; Jianchao Zeng 001 (ICPCSEE (2), 2017)