Digital product assurance for model-based open manufacturing of small satellites | IEEE Conference Publication | IEEE Xplore