Model-Driven Development of Safety Architectures | IEEE Conference Publication | IEEE Xplore