On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering | IEEE Conference Publication | IEEE Xplore