N. Kosmynina, A. Legalov, A. Barkov, and A. Lapin, “Spacecraft Control Language Development”, ICS, no. 5, pp. 82-90, Oct. 2015.