Variability Modeling and Resolution in Component-based Robotics Systems