Synthesizing Verified Components for Cyber Assured Systems Engineering | IEEE Conference Publication | IEEE Xplore