Motorola SpecNL: A Hybrid System to Generate NL Descriptions from Test Case Specifications. - Dante Torres; Daniel Leitao; Flávia de Almeida Barros (HIS, 2006)

NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications. - Daniel Leitao; Dante Torres; Flávia de Almeida Barros (SEKE, 2007)

The ucsCNL: A Controlled Natural Language for Use Case Specifications. - Flávia A. Barros; Laís Neves; Erica Hori; Dante Torres (SEKE, 2011)