An implementation of the behavior annex in the AADL-toolset Osate2

3 May 2011 ... Lasnier, Gilles and Pautet, Laurent and Hugues, Jérôme and Wrage, Lutz An implementation of the behavior annex in the AADL-toolset Osate2 ...