An XML-message based architecture description language and architectural mismatch checking | IEEE Conference Publication | IEEE Xplore