Evaluation method of system-of-systems architecture using knowledge-based executable model | IEEE Conference Publication | IEEE Xplore