Papyrus-Based Safety Analysis Automatization | IEEE Conference Publication | IEEE Xplore