Techniques For Safety Critical Software Development | IEEE Conference Publication | IEEE Xplore