Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. - Jinmiao Xu; Zhibin Yang; Zhiqiu Huang; Yong Zhou; Chengwei Liu; Lei Xue; Jean-Paul Bodeveix; Mamoun Filali (MEMOCODE, 2018)