Orion flight test 1 architecture — Observed benefits of a model based engineering approach | IEEE Conference Publication | IEEE Xplore