Synthesizing software architecture descriptions from Message Sequence Chart specifications | IEEE Conference Publication | IEEE Xplore