Contingency screening starting from probabilistic models of hazards and component vulnerabilities | IEEE Conference Publication | IEEE Xplore