引用人
拉曼纳五世 格林耶J 俱乐部D 盖兹C 格雷J Chechik M公司 库尔卡尼五世 佩奇R (2015) 在机器人系统上执行动态更新有限状态控制器 第七届软件工程建模国际研讨会论文集 10.5555/2820489.2820499 (42-47) 在线发布日期：2015年5月16日 潘齐卡·拉曼纳五世 格林耶J 盖兹C 布伦纳C 立陶宛M 迈洛普洛斯J (2013) 规范变更产生的动态更新的形式化正确性标准 第八届自适应和自我管理系统软件工程国际研讨会论文集 10.5555/2663546.2663559 (63-72) 在线发布日期：2013年5月20日 海登C 尼姆图一世 (2012) 关于软件升级热门话题的第三次研讨会的报告（HotSWUp'11） ACM SIGOPS操作系统审查 10.1145/2146382.2146399 46 :1 (93-99) 在线发布日期：2012年2月16日
