DeepSTL: from english requirements to signal temporal logic. - He, Jie; Bartocci, Ezio; Ničković, Dejan; Isakovic, Haris; Grosu, Radu (ICSE: International Conference on Software Engineering, 2022)