SCADE公司 14篇文献引用(2001–2019) 软件作者： 杰拉德·贝里；Esterel科技 相关软件： Simulink；卢斯特；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
DCVALID公司 16篇文献引用(2001–2022) 软件作者： P.潘迪亚 相关软件： MONA；IDLVALID；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）