Prime implicants in dynamic reliability analysis - Tyrväinen,Tero