Verification of RiskA calculation engine based on Open-PSA platform | IEEE Conference Publication | IEEE Xplore