WSAT公司 29篇文献引用（2004年至2019年） 软件作者： 傅湘；布尔坦、特夫菲克；苏建文 相关软件： BPEL2PN；CADP；旋转… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
LTSA-WS公司 12份文件引用(2006–2021) 软件作者： Magee J、Kramer J、Uchitel S等 相关软件： WSAT；NuSMV；UFO… 主要字段： 计算机科学（68-XX）