Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design? | IEEE Conference Publication | IEEE Xplore