L. Nana, F. Monin, and S. Gire "Formal Proof of Properties of a Syntax-Oriented Editor of Robotic Missions Plans", Advances in Science, Technology and Engineering Systems Journal, vol. 6, no. 1, pp. 1049–1057, 2021, doi: 10.25046/aj0601116.