Architecture Definition in Complex System Design Using Model Theory | IEEE Journals & Magazine | IEEE Xplore