@收款{zbMATH01303068，作者={Lin，Man}，Title={从混合自动机合成分层结构中的控制软件}，BookTitle={混合系统：计算与控制。第二届国际研讨会，HSCC’99。Berg en Dal，荷兰，1999年3月29日至31日。诉讼}，国际标准图书编号={3-540-65734-7}，页码={152--164}，年份={1999}，出版商={柏林：施普林格}，语言={英语}，关键词={93C83,93-04,93B50,93C30}，zbMATH={1303068}，Zbl={0954.93024}}