摘要
R.Alur、R.Grosu、Y.Hur、V.Kumar和I.Lee。 CHARON混合系统的模块化规范。HSCC’00，第6-19页，2000。 谷歌学者 
数字图书馆 
A.Benveniste、T.Bourke、B.Caillaud和M.Pouzet。 带有层次自动机的混合同步语言：静态键入和同步代码转换。 2011年10月，台湾EMSOFT'11。 谷歌学者 数字图书馆 A.Benveniste、T.Bourke、B.Caillaud和M.Pouzet。 划分和回收：混合同步语言的类型和编译。 2011年4月，美国LCTES’11。 谷歌学者 数字图书馆 A.Benveniste、T.Bourke、B.Caillaud和M.Pouzet。 混合系统建模器的非标准语义。 《计算机与系统科学杂志》，78:877-9102012年5月。 谷歌学者 数字图书馆 A.Benveniste、P.Caspi、S.Edwards、N.Halbwachs、P.Le Guernic和R.de Simone。 12年后，同步语言出现了。 程序。 IEEE，91（1），2003年1月。 谷歌学者 交叉引用 
L.Carloni、R.Passerone、A.Pinto和A.Sangiovanni Vincentelli。 用于混合系统设计的语言和工具。 《电子设计自动化基础与趋势》，2006年第1卷。 谷歌学者 数字图书馆 J.-L.Colaço、G.Hamon和M.Pouzet。 同步数据流系统中的混合信号和模式。 2006年10月，韩国EMSOFT'06。 谷歌学者 数字图书馆 J.-L.Colaço、B.Pagano和M.Pouzet。 状态机同步数据流的保守扩展。 2005年9月，美国EMSOFT'05。 谷歌学者 数字图书馆 J.-L.Colaço和M.Pouzet。 同步数据流语言的基于类型的初始化分析。 《技术转让软件工具》，6（3）：245--2552004年8月。 谷歌学者 数字图书馆 G.Dahlquist和。 比约克。 科学计算中的数值方法：第1卷。 SIAM，2008年。 谷歌学者 数字图书馆 B.Denckla和P.Mosterman。 框图中基于流和状态的层次语义。 第17届国际会计师联合会世界大会，第7955-7960页，韩国，2008年。 谷歌学者 交叉引用 G.Frehse、C.Le Guernic、A.Donzé、S.Cotton、R.Ray、O.Lebeltel、R.Ripado、A.Girard、T.Dang和O.Maler。 SpaceEx：混合系统的可扩展验证。 在第23届会议CAV，第379-395页，美国，2011年7月。 谷歌学者 数字图书馆 G.哈蒙。 Stateflow的指称语义。 EMSOFT'05，第164-172页，2005年。 谷歌学者 数字图书馆 T.亨廷格。 混合自动机理论。 北约ASI系列F：组件和 系统科学，170:265-2922000。 谷歌学者 A.Hindmarsh、P.Brown、K.Grant、S.Lee、R.Serban、D.Shumaker和C.Woodward。 SUNDIALS：非线性和微分/代数方程求解器套件。 ACM事务处理。 数学。 柔软。， 31（3）：363--396，2005年9月。 谷歌学者 数字图书馆 E.A.Lee和P.Varaiya。 信号和系统的结构和解释。 http://LeeVaraiya.org 第二版，2011年。 谷歌学者 E.A.Lee和H.Zheng。 利用同步语言原理进行嵌入式系统的异构建模和设计。 2007年9月，奥地利EMSOFT’07。 谷歌学者 数字图书馆 N.A.Lynch、R.Segala和F.W.Vaandrager。 混合I/O自动机。 信息（&I） 公司。， 185（1）：105--1572003年8月。 谷歌学者 数字图书馆 P.Mosterman、J.Zander、G.Hamon和B.Denckla。 面向基于时间的框图的计算混合系统语义。 在第三届IFAC会议上。， 第376-385页，西班牙，2009年9月。 谷歌学者 交叉引用 N.Scaife、C.Sofronis、P.Caspi、S.Tripakis和F.Maraninchi。 定义并将Simulink/Stateflow的“安全”子集转换为Lustre。 在EMSOFT'04中，第259-268页，2004年。 谷歌学者 数字图书馆 C.Tomlin、G.J.Pappas和S.Sastry。 空中交通管理冲突解决：多智能体混合系统研究。 IEEE传输。 自动控制，43（4）：509--521998年4月。 谷歌学者 交叉引用
建议
带有层次自动机的混合同步语言：静态类型和同步代码转换 EMSOFT’11：第九届ACM嵌入式软件国际会议记录 Simulink等混合建模工具已经从仿真平台发展为开发平台，在开发平台上还可以进行测试、验证和代码生成。 确保仿真、编译和……的结果至关重要。。。 划分和回收：混合同步语言的类型和编译 LCTES’11:2011年SIGPLAN/SIGBED嵌入式系统语言、编译器和工具会议记录 Simulink等混合建模工具已成为嵌入式系统开发的基石。 它们允许用单一语言表达离散控制器及其连续环境。 尽管有这些工具，但仍有。。。
