Formal Method for Mission Controller Generation of a Mobile Robot. - Silvain Louis; Karen Godary-Dejean; Lionel Lapierre; Thomas Claverie; Sébastien Villéger (TAROS, 2017)