Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ITS工具 10篇文献引用(2019–2023) 软件作者： Yann Thierry-Mieg公司 相关软件： TINA；LTSmin公司；TAPAAL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
LinAIG公司 7份文件引用(2011–2022) 软件作者： 沃纳·达姆；Dierks，Henning；斯蒂芬·迪什（Stefan Disch）；威廉·哈格曼；弗洛里安·皮戈什（Florian Pigorsch）；克里斯托夫·斯科尔；乌韦州瓦尔德曼；鲍里斯·维茨 相关软件： z3；CUDD；SpaceEx… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…