A widget based operations simulator for a planetary camera a model for the high resolution stereo camera on Mars 94 (DLR, 1992)