Languages for Safety-Critical Software: Issues and Assessment | IEEE Conference Publication | IEEE Xplore