Using AADL to Model and Develop ROS-Based Robotic Application | IEEE Conference Publication | IEEE Xplore