MSL - A Mathematical Specification Language. - V. P. Makarov (LFCS, 1992)

An expert system for design of spacecraft attitude control systems. - Sergey A. Butyrin; V. P. Makarov; R. R. Mukumov; Yevgeny I. Somov; Stanislav N. Vassilyev (Artif. Intell. Eng., 1997)