Property specification patterns for robotic missions. - Menghi, Claudio; Tsigkanos, Christos; Berger, Thorsten; Pelliccione, Patrizio; Ghezzi, Carlo (ICSE: International Conference on Software Engineering, 2018)