TY - JOUR AU - Dickerson, Charles AU - Wilkenson, Michael AU - Hunsicker, Eugenie AU - Ji, Siyuan AU - Li, Mole AU - Bernard, Yves AU - Bleakley, Graham AU - Denno, Peter O. 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 -