System verification of MSL Skycrane using an integrated ADAMS simulation | IEEE Conference Publication | IEEE Xplore