洛拉 24篇文献引用(2009–2023) 软件作者： D’Angelo，B。；等。 相关软件： 拖把；蒙保利；Java-MOP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；对照（93-XX）
税收 15篇文献引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普鲁；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；系统论；对照（93-XX）