High-Assurance Distributed, Adaptive Software for Dynamic Systems | IEEE Conference Publication | IEEE Xplore