LTSA-WS公司 12份文件引用(2006–2021) 软件作者： Magee J、Kramer J、Uchitel S等 相关软件： WSAT；NuSMV；UFO… 主要字段： 计算机科学（68-XX）
海龟-P 2份文件引用(2003–2006) 软件作者： 卢多维奇（Ludovic Apvrille）；皮埃尔·德·萨奎·桑奈斯（Pierre De Saqui-Sannes）；费尔哈特，昆德克 相关软件： Uppaal；克罗诺斯；税收… 主要字段： 计算机科学（68-XX）