Gilles Lasnier Laurent Pautet Jérôme Hugues Lutz Wrage An Implementation of the Behavior Annex in the AADL-Toolset Osate2. 332-337 2011 ICECCS http://dx.doi.org/10.1109/ICECCS.2011.39 conf/iceccs/2011 db/conf/iceccs/iceccs2011.html#LasnierPHW11