• 张M,阿里·S,岳T,诺冠R和奥卡利兹O. (2019). 不确定性智能网络物理系统测试建模.软件和系统建模（SoSyM）.18:2.(1379-1418).在线发布日期：2019-04-01.

    https://doi.org/10.1007/s10270-017-0609-6

  • 阿里·S,李毅,岳T和张M. 多目标不确定性测试最小化中变异和交叉算子的实证评估第十届基于搜索的软件测试国际研讨会论文集。(21-27).

    /doi/10.5555/3105427.3105432

  • 克里钦M. (2018). 分布式实时系统黑盒一致性测试的形式化框架.国际关键计算机系统杂志.三:1/2.(26-43).在线发布日期：2012年1月1日.

    https://doi.org/10.1504/IJCCBS.2012.045075

  • 卡洛西五世. (2010). UML驱动的分布式实时系统性能工程的经验和挑战.信息和软件技术.52:6.(625-640).在线发布日期：2010年6月1日.

    https://doi.org/10.1016/j.infsof.2010.01.003