MARTE: Technology development and lessons learned from a Mars drilling mission simulation | Publicación