@第{zbMATH05549330条,作者={Brunette,Christian and Talpin,Jean-Pierre and Gamati,Abdoulaye and Gautier,Thierry},标题={多时系统设计的元模型},FJournal={逻辑与代数编程杂志},日志={J.Log.Algebr.Program.},ISSN={1567-8326},体积={78},数字={4},页码={233--259},年份={2009},语言={英语},DOI={10.1016/j.jlap.2008.11.005},关键词={68Q10,68N15},zbMATH={5549330},Zbl={1183.68282}}