Human dependability and knowledge management in spacecraft operations — Successes and lessons learned from 12 years in-flight experience on Mars Express and Rosetta | IEEE Conference Publication | IEEE Xplore