L. Nana, F. Monin, 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).