@第{zbMATH06895329条，作者={El-Hokayem、Antoine和Falcone、Yli和Jaber、Mohamad}，Title={将基于正式组件的系统中的行为和架构横切关注点模块化——应用于行为交互优先级框架}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={99}，页码={143--177}，年份={2018}，语言={英语}，DOI={10.1016/j.jlamp.2018.05.005}，关键词={68N30,68N19}，zbMATH={6895329}，Zbl={1395.68092}}