A Model-Based Approach to Document Software Toolchains for Supporting a Safety Analysis | IEEE Conference Publication | IEEE Xplore