Minimizing Costs While Meeting Safety Requirements: Modeling Deterministic (Imperfect) Staggered Tests Using Standard Markov Models for SIL Calculations