辛西娅 8份文件引用(2012–2022) 软件作者： Peter，H.-J.，Ehlers，R.，Mattmüller，R。 相关软件： UPPAAL TIGA；Uppaal；棱镜… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
DDDLIB公司 2份文件引用(2002–2023) 软件作者： Jesper B.M\o ller。 相关软件： 存档正式证据；github；OCaml… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）