@article{1291416, author = {Charles Dickerson and Michael Wilkenson and Eugenie Hunsicker and Siyuan Ji and Mole Li and Yves Bernard and Graham Bleakley and Peter Denno}, title = {Architecture Definition in Complex System Design Using Model Theory}, year = {2022}, month = {2022-10-04 04:10:00}, publisher = {IEEE Systems Journal}, url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=929871}, language = {en}, }