国家自然科学基金资助项目(61070034);教育部新世纪优秀人才计划资助项目(NCET-10-0898);北航软件开发环境国家重点实验室开放课题(SKLSDE-2012KF-0X)
毛新军,陈寅,张婷婷.支持社会技术系统构造的程序设计模型和语言[J].国防科技大学学报,2014,36(3):103-110.
MAO Xinjun, CHEN Yin, ZHANG Tingting. The programming model and language for constructing socio technical systems[J]. Journal of National University of Defense Technology,2014,36(3):103-110.