Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES) | IEEE Conference Publication | IEEE Xplore