Performance verification for ESL design methodology from AADL models. - Gaudron Mathieu; Bois Guy; Jérôme Hugues; Fellipe Monteiro (RSP, 2015)