Towards Rust for Critical Systems | IEEE Conference Publication | IEEE Xplore