Αποστολή με SMS: Autonomy Requirements Engineering for Space Missions