Assurance Based Development of Critical Systems | IEEE Conference Publication | IEEE Xplore