@收款{zbMATH06718005，作者={Chatterjee，Krishnendu和Prabhu，Vinayak S.}，Title={安全目标的内存高效“实时”控制器合成}，BookTitle={第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12日至14日}，ISBN＝{978-1-4503-0629-4}，页码={221--230}，年份={2011}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/1967701.1967734}，关键词={68Q85,68Q60,91A05,91A80,93B50}，zbMATH={6718005}，Zbl={1361.68164}}