A Use Case in Model-Based Robot Development Using AADL and ROS | IEEE Conference Publication | IEEE Xplore