Charles E. Dickerson, Michael K. Wilkinson, Eugénie Hunsicker, Siyuan Ji, Mole Li, Yves Bernard, Graham Bleakley, Peter Denno. Architecture Definition in Complex System Design Using Model Theory. IEEE Systems Journal, 15(2):1847-1860, 2021. [doi]
Abstract is missing.