Automatic Inference of Behavioral Component Models for ROS-Based Robotics Systems