Formal Verification of Lunar Rover Control Software Using UPPAAL. - Lijun Shan; Yuying Wang; Ning Fu; Xingshe Zhou 001; Lei Zhao; Lijng Wan; Lei Qiao; Jianxin Chen (FM, 2014)