Automated fault tree generation and risk-based testing of networked automation systems | IEEE Conference Publication | IEEE Xplore