Toolset for Construction and Verification of Rules for Spacecraft's Autonomous Decision Making. - Tiugashev, Andrei A.; Belozubov, Alexander V. (2016)