MRMC公司 71篇文献引用(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GreatSPN 1.7 38篇文献引用(1995–2012) 软件作者： Chiola，G。；弗朗西斯科尼斯，G。；盖塔，R。；里巴多，M。 相关软件： GreatSPN；SPNP；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
水瓶 3份文件引用(2022–2023) 软件作者： 柯克比，J.L。；Nguyen，Dang H。；Nguyen，Duy；Nhu N.阮。 相关软件： 特别提款权 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）
CCMC公司 2份文件引用（2013年） 软件作者： 高，杨；恩斯特·莫里茨·哈恩（Ernst Moritz Hahn）；詹乃军；张丽君 相关软件： MRMC；棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）