Uppaal公司 568份文件引用(1990–2023) 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 相关软件： 克罗诺斯；高科技；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： Kim G.Larsen、Wang Yi、Paul Pettersson、Alexandre David、Brian Nielsen、Arne Skou、John Håkansson、Jacob Illum Rasmussen、Pavel Krcál、Ulrik Larsen、Marius Mikucionis、Leonid Mokrushin 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
兔子 23篇文献引用(2001–2022) 软件作者： 德克·拜尔；Lewerentz，克劳斯；安德烈亚斯·诺亚克 相关软件： Uppaal；克罗诺斯；棱镜… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
MARTE公司 10篇文献引用(2009–2017) 软件作者： 对象管理集团。 相关软件： SysML；Uppaal；旋转… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
AADL公司 引用于3份文件(2012–2016) 软件作者： Kyungmin Bae、Peterlveczky、JoséMeseguer 相关软件： 电子LOTOS；GRL；LNT2LOTOS… 主要字段： 计算机科学（68-XX）
ERA-PAT公司 2份文件引用(2014–2021) 软件作者： 林尚伟；刘，杨；孙军；董金松；埃蒂安·安德烈 相关软件： 拍打；项目B；PDDL… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
ITPN-全焊 1份文件引用(2021) 软件作者： 艾琳娜·帕西尼·诺莫维奇（Elina Pacini Naumovich）；Simona Bernardi；马可·格里鲍多 相关软件： —— 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）
大都市 2份文件引用(2002–2018) 软件作者： 格雷戈·戈斯勒（Gregor Gossler）；阿尔贝托Sangiovanni-Vincentelli 相关软件： 托勒密；普罗米修斯 主要字段： 计算机科学（68-XX）
REMM公司 2份文件引用（2008年至2021年） 软件作者： 弗朗西斯科·莫斯卡托；萨尔瓦托，文蒂钦克；阿弗莎、罗科；贝尼亚米·迪·马蒂诺 相关软件： 罗丹；贾德克斯 主要字段： 计算机科学（68-XX）