The following publications are possibly variants of this publication:
- VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe SystemBaoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury. systems, 9(1):18, 2021. [doi]