Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa: Open Problems in Verification and Refinement of Autonomous Robotic Systems. DSD 2012: 469-476