An event-chain risk assessment model based on definition evolution in safety criterions | IEEE Conference Publication | IEEE Xplore