@进行中{TanguyBBR14，title={使用逻辑定时模型的反应式嵌入式设备驱动程序合成}，author={朱利安·坦古伊（Julien Tanguy）、珍妮·卢克·贝切内克（Jean-Luc Béchennec）、米卡·布里迪（Mikaöl Briday）和奥利维尔·鲁克斯（Olivier H.Roux}），年份={2014}，url={http://ieeexplore.ieee.org/xpl/freeabs_all.jsp？arnumber=7095014},研究人员={https://researchr.org/publication/TanguyBBR14},引用={0}，引用者={0}，页数={163-169}，booktitle={第四届仿真与建模方法、技术和应用国际会议，SIMULTECH 2014，奥地利维也纳，2014年8月28日至30日}，publisher={IEEE}，isbn={978-989-758-060-4}，}