MERS Model-based programming of Cooperating explorers Brian c. williams CSAIL Dept. Aeronautics and astronautics Massachusetts Institute of TechnologyModel-based Programming of Cooperating Explorers Brian C. Williams CSAIL Dept. Aeronautics and Astronautics Massachusetts Institute of Technology