The AADL behaviour annex -- experiments and roadmap | IEEE Conference Publication | IEEE Xplore