An Implementation of the Behavior Annex in the AADL-Toolset Osate2 | IEEE Conference Publication | IEEE Xplore