Assurance for Autonomy -- JPL's past research, lessons learned, and future directions