Toward Rapid Integration in High Assurance Mission Systems | IEEE Conference Publication | IEEE Xplore