Formal specification, refinement, and implementation of path planning. - Eman Rabiah; Boumediene Belkhouche (IIT, 2016)