OSATE2 plugin to translate AADL and behavior annex specifications to Lustre