Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework. - Meijer, Patrik; Mahadevan, Nag; Wutka, Mark; Karsai, Gabor (2024)

A NAND Use Case for Cybersecurity Experiments. - Fraser, Timothy; Liu, Xuwei; Shi, Qingkai; Zhang, Xiangyu; Wutka, Mark; Balasubramanian, Daniel; Chen, Hao; Shao, Zhong (2024)