Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards. - Isabella Biscoglio; Attilio Ciancabilla; Mario Fusani; Giuseppe Lami; Gianluca Trentanni (From Software Engineering to Formal Methods and Tools, and Back, 2019)