@InCollection｛zbMATH06700458，作者={陈、明帅和瑞文、安德斯·P·和王、舒林和杨、孟飞和詹乃军}，Title={嵌入式系统正式和非正式设计之间的双向路径}，BookTitle={统一编程理论。第六届国际研讨会，2016年UTP，冰岛雷克雅未克，2016年6月4-5日。修改选定论文}，国际标准图书编号={978-3-319-52227-2；978-3-3169-52228-9}，页码={65--92}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-5228-9_4}，关键词={68N30,68Q60,93-10,93C30}，URL={www.springer.com/us/book/978331952272}，zbMATH={6700458}，Zbl=｛1483.68074｝}