Specification, Formal Verification and Implementation of Tasks and Missions for an Autonomous Vehicle. - Konstantinos Kapellos; Muriel Jourdan; Bernard Espiau; Sofiane Abdou (ISER, 1995)