Automated model verification of the International Space Station for path planning. - W. F. W. Haak; Frans C. A. Groen; E. Holweg (Robotics Auton. Syst., 1999)