Model-driven development of reliable avionics architectures for Lunar Surface Systems | IEEE Conference Publication | IEEE Xplore