REQUS: Controlled Natural Language for Requirements Specification - Bugayenko, Yegor (2022)