DroidMat机器人 2份文件引用(2017–2023) 软件作者： Wu D.-J、Mao C.-H、Wei T.-E.、Lee H.-M.、Wu K.-P。 相关软件： ADAM；德莱宾；机器人变色龙… 主要字段： 计算机科学（68-XX）
fmp2rsm公司 1份文件引用（2018年） 软件作者： Czarnecki，K.，Antkiewicz，M.，Kim，C.H.P.，Lau，S.，Pietroszek，K。 相关软件： Clafer；工厂验收试验；MTBDD… 主要字段： 计算机科学（68-XX）