A approach about translating from requirement model to AADL software architecture | IEEE Conference Publication | IEEE Xplore