An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems | IEEE Conference Publication | IEEE Xplore