TY - JOUR AU - Charles Dickerson AU - Michael Wilkenson AU - Eugenie Hunsicker AU - Siyuan Ji AU - Mole Li AU - Yves Bernard AU - Graham Bleakley AU - Peter O. Denno C2 - IEEE Systems Journal DA - 2022-10-04 04:10:00 LA - en PB - IEEE Systems Journal PY - 2022 TI - Architecture Definition in Complex System Design Using Model Theory ER -