Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience | IEEE Conference Publication | IEEE Xplore