A Knowledge-based Approach for Safety Analysis Using System Interactions | IEEE Conference Publication | IEEE Xplore