辛西娅 8份文件引用(2012–2022) 软件作者： Peter，H.-J.，Ehlers，R.，Mattmüller，R。 相关软件： UPPAAL TIGA；Uppaal；棱镜… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
VeriSIMPL公司 引用于3份文件(2015–2018) 软件作者： 阿兹基亚（Adzkiya）、迪基（Dieky）；张以宁；亚历山德罗·阿巴特 相关软件： 算法97；蛋白石；椭圆工具箱… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；系统论；控制（93-XX）