Machine Learning Pseudo-Natural Language for Temporal Logic Requirements of Embedded Systems. - Gaétan Hains; Ouarda Fenek (KSE, 2023)