Dynamic Dependability Analysis using HOL Theorem Proving with Application in Multiprocessor Systems