The Use of Ada as an Implementation Language in Formally Specified Systems | IEEE Conference Publication | IEEE Xplore