Mind the gap: Robotic Mission Planning Meets Software Engineering. - Mehrnoosh Askarpour; Claudio Menghi; Gabriele Belli; Marcello M. Bersani; Patrizio Pelliccione (FormaliSE@ICSE, 2020)