Practical application of model-based programming and state-based architecture to space missions | IEEE Conference Publication | IEEE Xplore