Model-Based Adaptation for Robotics Software | Synapse