SymDIVINE公司 2份文件引用(2018) 软件作者： J.ázek先生、P.Bauch、H.Lauko、J.Barnat 相关软件： nuXmv；jCUTE公司；CIL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TVT电视 3份文件引用(2004–2022) 软件作者： 维塔宁，海基；亨利·汉森；安蒂·瓦尔马里；朱哈·尼米宁；蒂莫·埃尔基拉 相关软件： mCRL2；CADP；Sylvan… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）