Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin. Synthesizing Verified Components for Cyber Assured Systems Engineering. In 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021. pages 205-215, IEEE, 2021. [doi]
Abstract is missing.