Highlighting the challenges of model-based engineering for spaceflight software systems | IEEE Conference Publication | IEEE Xplore